Logo Search packages:      
Sourcecode: maria version File versions

void(* addstate)(void *buf, size_t length, enum Error err, unsigned tr, unsigned ftr, int hide, void *ctx)

call-back for adding an encoded state and arcs

buf the encoded state
length length of the encoded state, in bytes
err status of evaluating the reject property
tr the index number of the transition that fired
ftr the number of the transition in the flattened net
hide flag: is the transition hidden?
ctx the call-back context

Referenced by Compilation::link().

Generated by  Doxygen 1.6.0   Back to index