Logo Search packages:      
Sourcecode: lbt version File versions  Download package

virtual void Ltl::expand ( class LtlGraphNode node,
std::stack< class LtlGraphNode * > &  to_expand 
) const [pure virtual]

Implements operator/operand specific details of the expansion algorithm.

node the node representing the formula
to_expand stack of nodes to be expanded

Implemented in LtlAtom, LtlConstant, LtlJunct, LtlIff, LtlFuture, and LtlUntil.

Referenced by LtlGraph::LtlGraph().

Generated by  Doxygen 1.6.0   Back to index