A symbolic runtime interval. More...
#include <symbolic_interval.hpp>
Public Types | |
| typedef rt_expr< InterfaceType > | value_type | 
| typedef InterfaceType | interface_type | 
| typedef InterfaceType::numeric_type | numeric_type | 
Public Member Functions | |
| rt_symbolic_interval (id_type interval_id=0) | |
| id_type | id () const | 
| Returns the ID of the interval (used for dispatching purposes).   | |
A symbolic runtime interval.
| typedef InterfaceType interface_type | 
| typedef InterfaceType::numeric_type numeric_type | 
| typedef rt_expr<InterfaceType> value_type | 
| rt_symbolic_interval | ( | id_type |  interval_id = 0 | 
          ) |  [inline] | 
        
| id_type id | ( | ) |  const [inline] | 
        
Returns the ID of the interval (used for dispatching purposes).
 1.7.1