Class CtsFunction

Defined in File Polynomial.h

Inheritance Relationships

Derived Types

public VAL::Exponential (Class Exponential)
public VAL::NumericalSolution (Class NumericalSolution)
public VAL::Polynomial (Class Polynomial)

Class Documentation

class CtsFunction

Subclassed by VAL::Exponential, VAL::NumericalSolution, VAL::Polynomial

Public Functions

inline CtsFunction()

inline virtual ~CtsFunction()

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

virtual Polynomial getApproxPoly(CoScalar endInt) const = 0

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

virtual CoScalar evaluate(CoScalar t) const = 0

virtual bool isLinear() const = 0

virtual void write(ostream &o) const = 0

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

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