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

static class Ltl& Ltl::insert ( class Ltl ltl  )  [inline, static, protected, inherited]

Reference registrator

Parameters:
ltl formula to be registered
Returns:
an equivalent formula

Definition at line 100 of file Ltl.h.

References Ltl::Store::insert().

Referenced by construct(), LtlFuture::construct(), LtlIff::construct(), LtlJunct::construct(), LtlConstant::construct(), LtlAtom::construct(), negClone(), LtlFuture::negClone(), LtlIff::negClone(), LtlJunct::negClone(), LtlConstant::negClone(), and LtlAtom::negClone().

{ return m_store.insert (ltl); }


Generated by  Doxygen 1.6.0   Back to index