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

f formula index to be translated
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