learnta::Zone Member List

This is the complete list of members for learnta::Zone, including all inherited members.

abstractize()	learnta::Zone	inline
applyResets(const std::vector< std::pair< ClockVariables, std::variant< double, ClockVariables >>> &resets) (defined in learnta::Zone)	learnta::Zone	inline
canonize()	learnta::Zone	inline
close1(ClockVariables x)	learnta::Zone	inline
elapse()	learnta::Zone	inline
equalIgnoreZero(Zone z) const	learnta::Zone	inline
extrapolate()	learnta::Zone	inline
getNumOfVar() const noexcept	learnta::Zone	inline
includes(const Zone &zone) const	learnta::Zone	inline
isSatisfiable()	learnta::Zone	inline
isSatisfiableNoCanonize() const	learnta::Zone	inline
M	learnta::Zone
makeUnsat()	learnta::Zone	inline
maxConstraints	learnta::Zone
operator bool()	learnta::Zone	inlineexplicit
operator&&(const Zone &another) const	learnta::Zone	inline
operator&=(const Zone &another)	learnta::Zone	inline
operator==(const Zone &z) const	learnta::Zone	inline
operator^(const Zone &another) const	learnta::Zone	inline
reset(ClockVariables x)	learnta::Zone	inline
reverseElapse()	learnta::Zone	inline
revertResets(const std::vector< std::pair< ClockVariables, std::variant< double, ClockVariables >>> &resets)	learnta::Zone	inline
sample()	learnta::Zone	inline
strictEqual(Zone z) const	learnta::Zone	inline
tighten(ClockVariables x, ClockVariables y, Bounds c)	learnta::Zone	inline
tighten(const Constraint &constraint)	learnta::Zone	inline
tighten(const std::vector< Constraint > &constraints)	learnta::Zone	inline
top(std::size_t size)	learnta::Zone	inlinestatic
unconstrain(ClockVariables x)	learnta::Zone	inline
value	learnta::Zone
zero(int size)	learnta::Zone	inlinestatic
Zone()=default (defined in learnta::Zone)	learnta::Zone
Zone(const Eigen::Matrix< Bounds, Eigen::Dynamic, Eigen::Dynamic > &value)	learnta::Zone	inlineexplicit
Zone(Eigen::Matrix< Bounds, Eigen::Dynamic, Eigen::Dynamic > &&value)	learnta::Zone	inlineexplicit
Zone(Eigen::Matrix< Bounds, Eigen::Dynamic, Eigen::Dynamic > value, Bounds m)	learnta::Zone	inline
Zone(const std::vector< double > &valuation, Bounds M)	learnta::Zone	inlineexplicit