|
|||||||||
PREV PACKAGE NEXT PACKAGE | FRAMES NO FRAMES All Classes |
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 All Classes |