Model.cpp File Reference

#include "storm/storage/jani/Model.h"
#include <algorithm>
#include "storm/storage/expressions/ExpressionManager.h"
#include "Compositions.h"
#include "storm/storage/jani/Automaton.h"
#include "storm/storage/jani/AutomatonComposition.h"
#include "storm/storage/jani/Edge.h"
#include "storm/storage/jani/EdgeDestination.h"
#include "storm/storage/jani/Location.h"
#include "storm/storage/jani/ParallelComposition.h"
#include "storm/storage/jani/TemplateEdge.h"
#include "storm/storage/jani/VariablesToConstantsTransformer.h"
#include "storm/storage/jani/eliminator/ArrayEliminator.h"
#include "storm/storage/jani/eliminator/FunctionEliminator.h"
#include "storm/storage/jani/traverser/InformationCollector.h"
#include "storm/storage/jani/visitor/CompositionInformationVisitor.h"
#include "storm/storage/jani/visitor/JSONExporter.h"
#include "storm/storage/jani/visitor/JaniExpressionSubstitutionVisitor.h"
#include "storm/storage/expressions/LinearityCheckVisitor.h"
#include "storm/utility/combinatorics.h"
#include "storm/exceptions/InvalidArgumentException.h"
#include "storm/exceptions/InvalidOperationException.h"
#include "storm/exceptions/InvalidTypeException.h"
#include "storm/exceptions/NotImplementedException.h"
#include "storm/exceptions/WrongFormatException.h"
#include "storm/utility/macros.h"
#include "storm/utility/vector.h"
#include "storm/solver/SmtSolver.h"

Include dependency graph for Model.cpp:

Go to the source code of this file.

Classes
struct	storm::jani::ConditionalMetaEdge
class	storm::jani::CompositionSimplificationVisitor

Namespaces
namespace	storm
	LabParser.cpp.
namespace	storm::jani

Functions
storm::expressions::Expression	storm::jani::createSynchronizedGuard (std::vector< std::reference_wrapper< Edge const > > const &chosenEdges)
ConditionalMetaEdge	storm::jani::createSynchronizedMetaEdge (Automaton &automaton, std::vector< std::reference_wrapper< Edge const > > const &edgesToSynchronize)
std::vector< ConditionalMetaEdge >	storm::jani::createSynchronizingMetaEdges (Model const &oldModel, Model &newModel, Automaton &newAutomaton, std::vector< std::set< uint64_t > > &synchronizingActionIndices, SynchronizationVector const &vector, std::vector< std::reference_wrapper< Automaton const > > const &composedAutomata, storm::solver::SmtSolver &solver)
void	storm::jani::createCombinedLocation (std::vector< std::reference_wrapper< Automaton const > > const &composedAutomata, Automaton &newAutomaton, std::vector< uint64_t > const &locations, bool initial=false)
void	storm::jani::addEdgesToReachableLocations (std::vector< std::reference_wrapper< Automaton const > > const &composedAutomata, Automaton &newAutomaton, std::vector< ConditionalMetaEdge > const &conditionalMetaEdges)
std::string	storm::jani::filterName (std::string const &text)
std::ostream &	storm::jani::operator<< (std::ostream &out, Model const &model)