| build_space(Space *s=NULL) const | ibex::SpaceFactory | |
| ConstraintSpaceFactory(const Constraint &ctr, bool only_multi_occ) | ibex::ConstraintSpaceFactory | |
| env | ibex::SpaceFactory | |
| get_env() const | ibex::SpaceFactory | [inline] |
| is_set(int id_key) const | ibex::SpaceFactory | [inline] |
| set_entity(int id_key, EntityType type, const INTERVAL &domain) | ibex::SpaceFactory | |
| set_entity(int id_key, EntityType type) | ibex::SpaceFactory | [inline] |
| set_entity(const char *name, EntityType type) | ibex::SpaceFactory | |
| set_entity(const char *name, EntityType type, const INTERVAL &domain) | ibex::SpaceFactory | |
| SpaceFactory(const Env &env) | ibex::SpaceFactory | |
| ~SpaceFactory() | ibex::SpaceFactory |
1.5.5