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

static class Ltl& LtlConstant::construct ( bool  true_  )  [inline, static]

Constructor

Parameters:
true_ the constant 'true' or 'false'
Returns:
an LTL constant

Definition at line 202 of file Ltl.h.

References Ltl::insert().

Referenced by LtlIff::construct(), and readFormula().

                                           {
    return insert (*new class LtlConstant (true_));
  }


Generated by  Doxygen 1.6.0   Back to index