Logo Search packages:      
Sourcecode: maria version File versions

void succ ( card_t  state,
bool  seq,
card_t  visual 

Show the successors of a state

state the state
seq flag: fully expand deterministic sequences
visual visualization level

states that have been visited (for loop detection when seq==true)

Referenced by Graph::add(), Compilation::compile(), ComponentGraph::compute(), ComponentGraph::computeArcs(), Graph::getSuccessors(), Graph::path(), ComponentGraph::path(), and GraphReporter::prepareFair().

Generated by  Doxygen 1.6.0   Back to index