List of all members.
Public Member Functions |
|
| ReachLinear (const unsigned dim, const LinearSystem &linearSys, Number dt) |
|
Hpolyhedron | reach (const Hpolyhedron &initialSet) |
|
Number | getDiscretizationTime () const |
|
void | setDiscretizationTime (Number discretizationTime) |
|
LinearSystem | getLinearSystem () const |
|
void | setLinearSystem (LinearSystem originalSystem) |
|
bool | isUseFixedTemplate () const |
|
void | setUseFixedTemplate (bool useFixedTemplate) |
The documentation for this class was generated from the following files:
1.7.6.1
