|
|||||||||
| PREV PACKAGE NEXT PACKAGE | FRAMES NO FRAMES | ||||||||
See:
Description
| Interface Summary | |
|---|---|
| RealExp | An interface for real expressions. |
| RealInterval | An interface for real intervals. |
| RealVar | An interface for a real variable : an expression and a variable with a domain. |
| Class Summary | |
|---|---|
| RealMath | Some tools for float computing. |
| RealModeler | Modeler for real expressions. |
A package devoted to continuous propagation based on interval arithmetic. It offers simple implementations of Hull Consistency and Box Consistency.
|
|||||||||
| PREV PACKAGE NEXT PACKAGE | FRAMES NO FRAMES | ||||||||