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

applyResets(const TATransition::Resets &resets) const	learnta::NeighborConditions	inline
computeClockSize(const TAState *state) (defined in learnta::NeighborConditions)	learnta::NeighborConditions	inlinestatic
computeTargetClockSize(const TATransition &transition) (defined in learnta::NeighborConditions)	learnta::NeighborConditions	inlinestatic
constructOriginalAfterTransition(const Alphabet action, const TATransition &transition) const (defined in learnta::NeighborConditions)	learnta::NeighborConditions	inline
getClockSize() const (defined in learnta::NeighborConditions)	learnta::NeighborConditions	inline
hash_value() const (defined in learnta::NeighborConditions)	learnta::NeighborConditions	inline
impreciseClocks() const	learnta::NeighborConditions	inline
isInternal(const TATransition &transition) const	learnta::NeighborConditions	inline
makeAfterTransition(const Alphabet action, const TATransition &transition) const	learnta::NeighborConditions	inline
makeNeighbors(const ForwardRegionalElementaryLanguage &original, const std::unordered_set< ClockVariables > &preciseClocks) (defined in learnta::NeighborConditions)	learnta::NeighborConditions	inlinestatic
match(const std::vector< Constraint > &guard) const	learnta::NeighborConditions	inline
match(const TATransition &transition) const	learnta::NeighborConditions	inline
NeighborConditions(const NeighborConditions &conditions)=default (defined in learnta::NeighborConditions)	learnta::NeighborConditions
NeighborConditions(NeighborConditions &&conditions)=default (defined in learnta::NeighborConditions)	learnta::NeighborConditions
NeighborConditions(ForwardRegionalElementaryLanguage original, std::unordered_set< ClockVariables > preciseClocks) (defined in learnta::NeighborConditions)	learnta::NeighborConditions	inline
NeighborConditions(ForwardRegionalElementaryLanguage original, const std::vector< ClockVariables > &preciseClocks) (defined in learnta::NeighborConditions)	learnta::NeighborConditions	inline
operator!=(const NeighborConditions &conditions) const (defined in learnta::NeighborConditions)	learnta::NeighborConditions	inline
operator=(const NeighborConditions &conditions)=default (defined in learnta::NeighborConditions)	learnta::NeighborConditions
operator=(NeighborConditions &&conditions)=default (defined in learnta::NeighborConditions)	learnta::NeighborConditions
operator==(const NeighborConditions &conditions) const (defined in learnta::NeighborConditions)	learnta::NeighborConditions	inline
precise() const	learnta::NeighborConditions	inline
preciseClocksAfterReset(const std::unordered_set< ClockVariables > &preciseClocks, const TATransition &transition)	learnta::NeighborConditions	inlinestatic
preciseClocksAfterReset(const TATransition &transition) const	learnta::NeighborConditions	inline
print(std::ostream &os) const (defined in learnta::NeighborConditions)	learnta::NeighborConditions	inline
reconstruct(std::unordered_set< ClockVariables > currentPreciseClocks) const	learnta::NeighborConditions	inline
successor(const Alphabet action) const (defined in learnta::NeighborConditions)	learnta::NeighborConditions	inline
successor() const (defined in learnta::NeighborConditions)	learnta::NeighborConditions	inline
successorAssign() (defined in learnta::NeighborConditions)	learnta::NeighborConditions	inline
toOriginalGuard() const	learnta::NeighborConditions	inline
toOriginalValuation() const	learnta::NeighborConditions	inline
toOriginalValuation(const std::size_t minSize) const	learnta::NeighborConditions	inline
toRelaxedGuard() const	learnta::NeighborConditions	inline