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]


release flag: 'release' instead of 'until'
l the left-hand-side formula
r the right-hand-side formula
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