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

LtlUntil::LtlUntil ( bool  release,
class Ltl l,
class Ltl r 
) [inline, private]

Constructor

Parameters:
release flag: 'release' instead of 'until'
l the left-hand-side formula
r the right-hand-side formula

Definition at line 528 of file Ltl.h.

                        :
    m_release (release), m_left (l), m_right (r) {}
  /// Copy constructor


Generated by  Doxygen 1.6.0   Back to index