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.