Class Polynomial

Defined in File Polynomial.h

Inheritance Relationships

Base Type

public VAL::CtsFunction (Class CtsFunction)

Class Documentation

class Polynomial : public VAL::CtsFunction 

Public Functions

inline Polynomial()

inline Polynomial(map<unsigned int, CoScalar> c)

~Polynomial()

CoScalar getCoeff(unsigned int pow) const

void setCoeff(unsigned int pow, CoScalar value)

void addToCoeff(unsigned int pow, CoScalar value)

unsigned int getDegree() const

inline virtual Polynomial getApproxPoly(CoScalar endInt) const

virtual vector<CoScalar> getRoots(CoScalar t) 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

pair<Polynomial, Polynomial> divide(const Polynomial &d) const

Polynomial getGCD(const Polynomial &p) const

Polynomial removeRepeatedRoots() const

bool checkPolynomialCoeffs() const

void removeSmallCoeffs()

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

bool rootsExist(CoScalar t) const

Polynomial &operator+=(const Polynomial &p)

Polynomial &operator+=(CoScalar num)

Polynomial &operator-=(const Polynomial &p)

Polynomial &operator-=(CoScalar num)

Polynomial &operator*=(const Polynomial &p)

Polynomial &operator*=(CoScalar num)

bool operator==(const Polynomial &p) const

virtual CoScalar evaluate(CoScalar t) const

virtual bool isLinear() const

Polynomial diff() const

Polynomial integrate() const

virtual void write(ostream &o) const

Public Static Functions

static inline void setAccuracy(CoScalar ac)

Public Static Attributes

static const CoScalar tooSmall

static CoScalar accuracy