NLToolbox
|
computeBernsteinCoef(const int dim, Polynom &poly, multiIndice &maxDegrees, std::vector< Number > &coef, const std::vector< Polynom > unitBoxMap) (defined in nltool::ReachPolynomial) | nltool::ReachPolynomial | |
computedPinv(PolynomialSystem discret) (defined in nltool::ReachPolynomial) | nltool::ReachPolynomial | |
isUseNormalDynamic() const (defined in nltool::ReachPolynomial) | nltool::ReachPolynomial | |
reach(Hpolyhedron &initialSet) (defined in nltool::ReachPolynomial) | nltool::ReachPolynomial | |
reach(Hpolyhedron &initialSet, Template &templates) (defined in nltool::ReachPolynomial) | nltool::ReachPolynomial | |
ReachPolynomial(PolynomialSystem &poly) (defined in nltool::ReachPolynomial) | nltool::ReachPolynomial | |
setUseNormalDynamic(bool useNormalDynamic) (defined in nltool::ReachPolynomial) | nltool::ReachPolynomial | |
useNormalDynamic (defined in nltool::ReachPolynomial) | nltool::ReachPolynomial | |
~ReachPolynomial() (defined in nltool::ReachPolynomial) | nltool::ReachPolynomial | [virtual] |