Class extended_func_symbol

Defined in File FuncAnalysis.h

Inheritance Relationships

Base Type

public VAL::func_symbol (Class func_symbol)

Class Documentation

class extended_func_symbol : public VAL::func_symbol 

Public Types

typedef vector<assignment*>::const_iterator const_iterator

Public Functions

inline virtual ~extended_func_symbol()

inline extended_func_symbol(const string &nm)

inline void addInitial(assignment *a)

inline void addPre(operator_ *o)

inline void addPre(derivation_rule *o)

inline void addAssign(operator_ *o, assignment *a)

inline void addIncreaser(operator_ *o, assignment *a)

inline bool onlyGoingDown()

inline bool onlyGoingUp()

inline void addContinuous(operator_ *o, assignment *a)

inline void addDecreaser(operator_ *o, assignment *a)

inline void addOther(operator_ *o, assignment *a)

inline void addDepend(extended_func_symbol *e)

inline void addGoal()

inline bool isStatic() const

inline bool isDiscrete() const

inline bool isContinuous() const

inline FValue initially() const

inline FValue currently() const

void applyUpdates()

inline virtual void write(ostream &o) const

inline void set(FValue f)

inline FValue get() const

inline virtual void visit(VisitController *v) const

inline const vector<extended_func_symbol*> &getDeps() const

template<class TI> inline pair<bool, double> getInitial(const TI t1, const TI) const

inline const_iterator begin() const

inline const_iterator end() const

Protected Attributes

vector<pair<operator_*, derivation_rule*>> preconds

vector<assignment*> initials

Updates assigns

Updates increasers

Updates decreasers

Updates scalers

Updates continuous

vector<extended_func_symbol*> dependencies

bool seenPos

bool seenNeg

bool seenZero

bool difficultInitial

double top

double bottom

mutable FValue cval

int goals