learnta::ExternalTransitionMaker Member List

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

add(const std::shared_ptr< TAState > &targetState, const RenamingRelation &renamingRelation, const TimedCondition &sourceCondition, const TimedCondition &targetCondition)	learnta::ExternalTransitionMaker	inline
inactiveClockVariables(const RenamingRelation &renamingRelation, const TimedCondition &targetCondition)	learnta::ExternalTransitionMaker	inlinestatic
make() const	learnta::ExternalTransitionMaker	inline
toValuation(TimedCondition condition)	learnta::ExternalTransitionMaker	inlinestatic