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

static class Ltl& LtlAtom::construct ( unsigned  value,
bool  negated 
) [inline, static]

Constructor

Parameters:
value proposition number
negated flag: is the proposition negated?
Returns:
an LTL atom

Definition at line 143 of file Ltl.h.

References Ltl::insert().

Referenced by readFormula().

                                                             {
    return insert (*new class LtlAtom (value, negated));
  }


Generated by  Doxygen 1.6.0   Back to index