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

class Ltl& Ltl::Store::fetch ( unsigned  f  )  const [inline]

Translate a formula index to a formula reference

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

Definition at line 80 of file Ltl.h.

References m_table.

Referenced by Ltl::fetch().

{ return *m_table[f]; }


Generated by  Doxygen 1.6.0   Back to index