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

static class Ltl& Ltl::fetch ( unsigned  f  )  [inline, static, inherited]

Translate a formula index to a formula reference

Parameters:
f formula index to be translated
Returns:
the corresponding formula

Definition at line 105 of file Ltl.h.

References Ltl::Store::fetch().

Referenced by LtlGraph::LtlGraph(), printGates(), and translateFormula().

{ return m_store.fetch (f); }


Generated by  Doxygen 1.6.0   Back to index