JaniLocalEliminator::Session Member List

This is the complete list of members for JaniLocalEliminator::Session, including all inherited members.

addMissingGuards(const std::string &automatonName)	JaniLocalEliminator::Session
buildAutomataInfo()	JaniLocalEliminator::Session
clearIsPartOfProp(const std::string &automatonName)	JaniLocalEliminator::Session
computeIsPartOfProp(const std::string &automatonName, const std::string &locationName)	JaniLocalEliminator::Session
computeIsPartOfProp(const std::string &automatonName, uint64_t locationIndex)	JaniLocalEliminator::Session
computeIsPartOfProp(const std::map< expressions::Variable, expressions::Expression > &substitutionMap)	JaniLocalEliminator::Session
executeInSequence(const EdgeDestination &first, const EdgeDestination &then, std::set< std::string > &rewardVariables)	JaniLocalEliminator::Session
flatten_automata()	JaniLocalEliminator::Session
getAutomatonInfo(const std::string &name)	JaniLocalEliminator::Session
getFinished() const	JaniLocalEliminator::Session
getModel()	JaniLocalEliminator::Session
getNewGuard(const Edge &edge, const EdgeDestination &dest, const Edge &outgoing)	JaniLocalEliminator::Session
getProbability(const EdgeDestination &first, const EdgeDestination &then)	JaniLocalEliminator::Session
getProperty()	JaniLocalEliminator::Session
hasLoops(const std::string &automatonName, std::string const &locationName)	JaniLocalEliminator::Session
hasNamedActions(const std::string &automatonName, std::string const &locationName)	JaniLocalEliminator::Session
isEliminable(const std::string &automatonName, std::string const &locationName)	JaniLocalEliminator::Session
isPartOfProp(const std::string &automatonName, std::string const &locationName)	JaniLocalEliminator::Session
isPartOfProp(const std::string &automatonName, uint64_t locationIndex)	JaniLocalEliminator::Session
isPossiblyInitial(const std::string &automatonName, std::string const &locationName)	JaniLocalEliminator::Session
isRewardFormula	JaniLocalEliminator::Session
isVariablePartOfProperty(const std::string &expressionVariableName)	JaniLocalEliminator::Session
rewardModels	JaniLocalEliminator::Session
Session(Model model, Property property, bool flatten=true)	JaniLocalEliminator::Session	explicit
setFinished(bool finished)	JaniLocalEliminator::Session
setModel(const Model &model)	JaniLocalEliminator::Session
setPartOfProp(const std::string &automatonName, const std::string &locationName, bool isPartOfProp)	JaniLocalEliminator::Session
setPartOfProp(const std::string &automatonName, uint64_t locationIndex, bool isPartOfProp)	JaniLocalEliminator::Session