Class Exponential

Defined in File Polynomial.h

Inheritance Relationships

Base Type

public VAL::CtsFunction (Class CtsFunction)

Class Documentation

class Exponential : public VAL::CtsFunction 

Public Functions

inline Exponential()

inline Exponential(CoScalar K0, const Polynomial *p, CoScalar c0)

inline ~Exponential()

virtual Polynomial getApproxPoly(CoScalar endInt) const

inline void setOffSet(double off)

virtual vector<CoScalar> getRoots(CoScalar t) const

virtual pair<vector<pair<intervalEnd, intervalEnd>>, vector<CoScalar>> isolateRoots(CoScalar t, CoScalar accuracy) const

virtual CoScalar evaluate(CoScalar t) const

virtual bool isLinear() const

inline const Polynomial *getPolynomial() const

virtual Intervals getIntervals(const Comparison *comp, const State *s, CoScalar t) const

virtual bool checkInvariant(const Comparison *comp, const State *s, CoScalar t, bool rhsIntervalOpen) const

bool rootsExist(CoScalar t) const

inline CoScalar getK() const

inline CoScalar getc() const

unsigned int getNoTerms(CoScalar endInt) const

virtual void write(ostream &o) const