Class FuncExp

• Defined in File FuncExp.h

Class Documentation

class FuncExp

Public Functions

inline FuncExp(const func_term *f, const Environment &bs)

double evaluate(const State *s) const

inline string getName() const

string getParameter(int paraNo) const

bool checkConstantsMatch(const parameter_symbol_list *psl) const

void setChangedCtsly()

inline void write(ostream &o) const