Public Member Functions | |
| void | testInvariant () const |
| FormulaSvc () | |
| ~FormulaSvc () | |
| const Formula * | addForm (const std::string &formula) |
Static Public Attributes | |
| static const std::string | name |
| description: the name of the service | |
| MD::FormulaSvc::FormulaSvc | ( | ) |
effects: standard default constructor guarantee: no-fail
| MD::FormulaSvc::~FormulaSvc | ( | ) |
effects: standard destructor guarantee: no-fail
| const Formula* MD::FormulaSvc::addForm | ( | const std::string & | formula | ) |
effects: add another formula returns: the formula guarantee: strong failures: out of memory II failures: not in initialization stage requires: !formula.empty()
| void MD::FormulaSvc::testInvariant | ( | ) | const |
effects: test the invariant of this object guarantee: no-fail
Reimplemented from EL::Algorithm.
1.6.1