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

static class Ltl& LtlFuture::construct ( enum Op  op,
class Ltl f 
) [inline, static]

Constructor

Parameters:
op the operator
f the formula
Returns:
an LTL future formula

Definition at line 430 of file Ltl.h.

References Ltl::insert().

Referenced by readFormula().

                                       {
    return insert (*new class LtlFuture (op, f));
  }


Generated by  Doxygen 1.6.0   Back to index