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

LtlIff::LtlIff ( bool  iff,
class Ltl l,
class Ltl r 
) [inline, private]


iff flag: equivalence instead of exclusive disjunction
l the left-hand-side formula
r the right-hand-side formula

Definition at line 372 of file Ltl.h.

    m_iff (iff), m_left (l), m_right (r) {}
  /// Copy constructor

Generated by  Doxygen 1.6.0   Back to index