|
libmonaa 0.5.2
|
This is the complete list of members for IntermediateZone, including all inherited members.
| abstractize() (defined in Zone) | Zone | inline |
| alloc(const std::pair< double, bool > &upperBound, const std::pair< double, bool > &lowerBound) | IntermediateZone | 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 |
| deallocate(const ClockVariables x) (defined in IntermediateZone) | IntermediateZone | inline |
| elapse() (defined in Zone) | Zone | inline |
| getNumOfVar() const noexcept | Zone | inline |
| IntermediateZone(const Interval &interval) | IntermediateZone | inline |
| IntermediateZone(Zone zone, std::size_t currentNewestClock=0) | IntermediateZone | inline |
| intersectionAssign(Zone z) (defined in Zone) | Zone | inline |
| intervals (defined in IntermediateZone) | IntermediateZone | |
| isSatisfiable() (defined in Zone) | Zone | inline |
| isSatisfiableCanonized() (defined in IntermediateZone) | IntermediateZone | inline |
| M (defined in Zone) | Zone | |
| makeGuard() | Zone | inline |
| makeUnsat() | Zone | inline |
| newestClock (defined in IntermediateZone) | IntermediateZone | |
| operator==(Zone z) const (defined in Zone) | Zone | inline |
| reset(ClockVariables x) (defined in Zone) | Zone | inline |
| tighten(const ClockVariables x, const ClockVariables y, Bounds c) | IntermediateZone | inline |
| tighten(const ClockVariables x, const Constraint &c, const ClockVariables reset=0) (defined in IntermediateZone) | IntermediateZone | inline |
| tighten(const ClockVariables x, const Constraint &c, const double t) (defined in IntermediateZone) | IntermediateZone | inline |
| tighten(const std::vector< Constraint > &constraints, const std::vector< boost::variant< double, ClockVariables > > &resetTime) (defined in IntermediateZone) | IntermediateZone | inline |
| tighten(const std::vector< Constraint > &constraints, const std::vector< boost::variant< double, ClockVariables > > &resetTime, const double t) (defined in IntermediateZone) | IntermediateZone | inline |
| toAns(Zone &ansZone) const (defined in IntermediateZone) | IntermediateZone | inline |
| toTuple() const (defined in Zone) | Zone | inline |
| Tuple typedef (defined in Zone) | Zone | |
| universal(int size) (defined in Zone) | Zone | inlinestatic |
| update(const std::vector< boost::variant< double, ClockVariables > > &resetTime) (defined in IntermediateZone) | IntermediateZone | inline |
| useInterval (defined in IntermediateZone) | IntermediateZone | |
| value (defined in Zone) | Zone | |
| zero(int size) (defined in Zone) | Zone | inlinestatic |
1.9.8