NLToolbox
 All Classes Namespaces Functions
Public Member Functions | Public Attributes
nltool::ReachPolynomial Class Reference

List of all members.

Public Member Functions

 ReachPolynomial (PolynomialSystem &poly)
Hpolyhedron reach (Hpolyhedron &initialSet)
Hpolyhedron reach (Hpolyhedron &initialSet, Template &templates)
int computeBernsteinCoef (const int dim, Polynom &poly, multiIndice &maxDegrees, std::vector< Number > &coef, const std::vector< Polynom > unitBoxMap)
int computedPinv (PolynomialSystem discret)
bool isUseNormalDynamic () const
void setUseNormalDynamic (bool useNormalDynamic)

Public Attributes

bool useNormalDynamic

The documentation for this class was generated from the following files:
 All Classes Namespaces Functions