DiaDes
0.1
DIAgnosis of Discrete-Event System
|
#include <Formula.hh>
Public Types | |
typedef Utils::Exception< FormulaUnaryOperator< OP > > | Exception |
Public Member Functions | |
const Formula & | operator() (const Formula &f) const |
Static Public Member Functions | |
static string | typeName () |
Definition at line 1146 of file Formula.hh.
typedef Utils::Exception< FormulaUnaryOperator<OP> > Diades::Sdmdl::FormulaUnaryOperator< OP >::Exception |
Definition at line 1147 of file Formula.hh.
|
inline |
Definition at line 1153 of file Formula.hh.
References Diades::Sdmdl::Formula::apply().
|
inlinestatic |
Definition at line 1149 of file Formula.hh.