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

LtlJunct::LtlJunct ( bool  con,
class Ltl l,
class Ltl r 
) [inline, private]

Constructor

Parameters:
con flag: conjunction instead of disjunction
l the left-hand-side formula
r the right-hand-side formula

Definition at line 285 of file Ltl.h.

                        :
    m_con (con), m_left (l), m_right (r) {}
  /// Copy constructor


Generated by  Doxygen 1.6.0   Back to index