Class RPGBuilder::NumericPrecondition

Nested Relationships

This class is a nested type of Class RPGBuilder.

Class Documentation

class NumericPrecondition

Public Functions

NumericPrecondition(const VAL::comparison_op &opIn, VAL::expression *LHSformulaIn, VAL::expression *RHSformulaIn, VAL::FastEnvironment *f, VAL::TypeChecker *t = 0, const bool negated = false)
bool isSatisfied(vector<double> &fluents) const
void display(ostream &o) const
double evaluateRHS(vector<double> &fluentTable) const
pair<double, bool> constRHS() const

Public Members

VAL::comparison_op op
list<Operand> LHSformula
list<Operand> RHSformula
bool valid
bool polarity