DiaDes
0.1
DIAgnosis of Discrete-Event System
|
#include <Formula.hh>
Public Types | |
typedef Utils::Exception< FormulaBinaryOperator< OP > > | Exception |
Public Member Functions | |
const Formula & | operator() (const Formula &f1, const Formula &f2) const |
Static Public Member Functions | |
static string | typeName () |
Definition at line 1125 of file Formula.hh.
typedef Utils::Exception< FormulaBinaryOperator<OP> > Diades::Sdmdl::FormulaBinaryOperator< OP >::Exception |
Definition at line 1126 of file Formula.hh.
|
inline |
Definition at line 1132 of file Formula.hh.
References Diades::Sdmdl::Formula::apply().
|
inlinestatic |
Definition at line 1128 of file Formula.hh.