node_stack(new NodeStack()),
next_backtrack(NULL),
mo_graph(new CycleGraph()),
node_stack(new NodeStack()),
next_backtrack(NULL),
mo_graph(new CycleGraph()),
/** @returns whether the current partial trace is feasible. */
bool ModelChecker::isfeasible() {
return !mo_graph->checkForCycles() && !failed_promise;
/** @returns whether the current partial trace is feasible. */
bool ModelChecker::isfeasible() {
return !mo_graph->checkForCycles() && !failed_promise;