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).