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

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

Implements operator/operand specific details of the expansion algorithm.

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

Implements Ltl.

Definition at line 85 of file Ltl.C.

References BitVector::assign_true(), LtlGraphNode::m_atomic, Ltl::m_num, LtlGraphNode::m_old, and negClone().

{
  if (!node.m_old[negClone ().m_num])
    node.m_atomic.assign_true (m_num);
  else {
    to_expand.pop ();
    delete &node;
  }
}


Generated by  Doxygen 1.6.0   Back to index