Engine.h File Reference

#include <ostream>
#include <vector>
#include "storm/builder/BuilderType.h"
#include "storm/models/ModelType.h"
#include "storm/storage/dd/DdType.h"

Include dependency graph for Engine.h:

This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Namespaces
namespace	storm
	LabParser.cpp.
namespace	storm::jani
namespace	storm::logic
namespace	storm::modelchecker
namespace	storm::storage
namespace	storm::utility

Enumerations
enum class	storm::utility::Engine {   storm::utility::Sparse , storm::utility::Hybrid , storm::utility::Dd , storm::utility::DdSparse ,   storm::utility::Exploration , storm::utility::AbstractionRefinement , storm::utility::Automatic , storm::utility::Unknown }
	An enumeration of all engines. More...

Functions
std::vector< Engine >	storm::utility::getEngines ()
	Returns a list of all available engines (excluding Unknown)
std::string	storm::utility::toString (Engine const &engine)
	Returns a string representation of the given engine.
std::ostream &	storm::utility::operator<< (std::ostream &os, Engine const &engine)
	Writes the string representation of the given engine to the given stream.
Engine	storm::utility::engineFromString (std::string const &engineStr)
	Parses the string representation of an engine and returns the corresponding engine.
storm::builder::BuilderType	storm::utility::getBuilderType (storm::utility::Engine const &engine)
	Returns the builder type used for the given engine.
template<typename ValueType >
bool	storm::utility::canHandle (storm::utility::Engine const &engine, std::vector< storm::jani::Property > const &properties, storm::storage::SymbolicModelDescription const &modelDescription)
	Returns false if the given model description and one of the given properties can certainly not be handled by the given engine.