|
libmonaa 0.5.2
|
This is the complete list of members for Zone, including all inherited members.
| abstractize() (defined in Zone) | Zone | inline |
| canonize() (defined in Zone) | Zone | inline |
| close1(ClockVariables x) (defined in Zone) | Zone | inline |
| cutVars(std::shared_ptr< Zone > &out, std::size_t from, std::size_t to) (defined in Zone) | Zone | inline |
| elapse() (defined in Zone) | Zone | inline |
| getNumOfVar() const noexcept | Zone | inline |
| intersectionAssign(Zone z) (defined in Zone) | Zone | inline |
| isSatisfiable() (defined in Zone) | Zone | inline |
| M (defined in Zone) | Zone | |
| makeGuard() | Zone | inline |
| makeUnsat() | Zone | inline |
| operator==(Zone z) const (defined in Zone) | Zone | inline |
| reset(ClockVariables x) (defined in Zone) | Zone | inline |
| tighten(ClockVariables x, ClockVariables y, Bounds c) | Zone | inline |
| toTuple() const (defined in Zone) | Zone | inline |
| Tuple typedef (defined in Zone) | Zone | |
| universal(int size) (defined in Zone) | Zone | inlinestatic |
| value (defined in Zone) | Zone | |
| zero(int size) (defined in Zone) | Zone | inlinestatic |
1.9.8