NLToolbox
|
getDiscretizationTime() const (defined in nltool::ReachHybridization) | nltool::ReachHybridization | [inline] |
getDomainsCreated() const (defined in nltool::ReachHybridization) | nltool::ReachHybridization | [inline] |
getErrorBound() const (defined in nltool::ReachHybridization) | nltool::ReachHybridization | [inline] |
getHybElementsResult() const (defined in nltool::ReachHybridization) | nltool::ReachHybridization | [inline] |
getReachabilityResult() const (defined in nltool::ReachHybridization) | nltool::ReachHybridization | [inline] |
reach(int nbstep=1) | nltool::ReachHybridization | |
ReachHybridization(DynamicalSystem *nonLinearSystem, Hpolyhedron initialSet, Number error, Number dt) | nltool::ReachHybridization | |
setDiscretizationTime(Number discretizationTime) (defined in nltool::ReachHybridization) | nltool::ReachHybridization | [inline] |
setErrorBound(Number errorBound) (defined in nltool::ReachHybridization) | nltool::ReachHybridization | [inline] |
~ReachHybridization() | nltool::ReachHybridization | [virtual] |