|
||||||||||
PREV PACKAGE NEXT PACKAGE | FRAMES NO FRAMES |
See:
Description
Interface Summary | |
---|---|
RealConstant | |
RealDomain | An interface for real variable domains. |
RealInterval | An interface for real intervals. |
RealVar | An interface for a real variable : an expression and a variable with a domain. |
Class Summary | |
---|---|
RealIntervalConstant | A constant real interval. |
RealMath | Some tools for float computing. |
A package devoted to contiinuous domains and variables. Such domains are modelled as two stored floating values, that is two backtrackable double values.
|
||||||||||
PREV PACKAGE NEXT PACKAGE | FRAMES NO FRAMES |