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

static class Ltl& LtlUntil::construct ( bool  release,
class Ltl l,
class Ltl r 
) [inline, static]

Constructor

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

Definition at line 518 of file Ltl.h.

References Ltl::insert().

Referenced by readFormula().

                                       {
    return insert (*new class LtlUntil (release, l, r));
  }


Generated by  Doxygen 1.6.0   Back to index