Class NumericalSolution

Defined in File Polynomial.h

Inheritance Relationships

Base Type

public VAL::CtsFunction (Class CtsFunction)

Derived Type

public VAL::BatteryCharge (Class BatteryCharge)

Class Documentation

class NumericalSolution : public VAL::CtsFunction 

Subclassed by VAL::BatteryCharge

Public Functions

inline NumericalSolution()

inline NumericalSolution(map<double, CoScalar> pts, CoScalar off)

inline virtual ~NumericalSolution()

void buildPoints(CoScalar a0, CoScalar b0, CoScalar y, CoScalar accuracy)

inline void setOffSet(double off)

inline double getOffSet() const

inline map<double, CoScalar> getPoints() 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

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

virtual Polynomial getApproxPoly(CoScalar endInt) 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

virtual CoScalar evaluateDiff(CoScalar t, CoScalar y) = 0

Protected Attributes

map<double, CoScalar> points

mutable CoScalar offSet