Classes
struct	Options

Public Member Functions
std::shared_ptr< storm::models::symbolic::Model< Type, ValueType > >	build (storm::Environment const &env, storm::jani::Model const &model, Options const &options=Options())
	Translates the given program into a symbolic model (i.e.

Static Public Member Functions
static storm::jani::ModelFeatures	getSupportedJaniFeatures ()
	Returns the jani features with which this builder can deal natively.
static bool	canHandle (storm::jani::Model const &model, storm::OptionalRef< std::vector< storm::jani::Property > const > properties=storm::NullRef)
	A quick check to detect whether the given model is not supported.

Detailed Description

template<storm::dd::DdType Type, typename ValueType = double>
class storm::builder::DdJaniModelBuilder< Type, ValueType >

Definition at line 29 of file DdJaniModelBuilder.h.

Member Function Documentation

template<storm::dd::DdType Type, typename ValueType>

std::shared_ptr< storm::models::symbolic::Model< Type, ValueType > > storm::builder::DdJaniModelBuilder< Type, ValueType >::build	(	storm::Environment const &	env,
		storm::jani::Model const &	model,
		Options const &	options = Options() )

Translates the given program into a symbolic model (i.e.

one that stores the transition relation as a decision diagram).

Parameters

env	The environment providing the settings for the DD library (e.g. Sylvan or CUDD).
model	The model to translate.
options	The options to use when building the model.

Definition at line 2399 of file DdJaniModelBuilder.cpp.

template<storm::dd::DdType Type, typename ValueType>

bool storm::builder::DdJaniModelBuilder< Type, ValueType >::canHandle	(	storm::jani::Model const &	model,
		storm::OptionalRef< std::vector< storm::jani::Property > const >	properties = storm::NullRef )

static

A quick check to detect whether the given model is not supported.

This method only over-approximates the set of models that can be handled, i.e., if this returns true, the model might still be unsupported.

Definition at line 52 of file DdJaniModelBuilder.cpp.

template<storm::dd::DdType Type, typename ValueType>

storm::jani::ModelFeatures storm::builder::DdJaniModelBuilder< Type, ValueType >::getSupportedJaniFeatures ( )

static

Returns the jani features with which this builder can deal natively.

Definition at line 41 of file DdJaniModelBuilder.cpp.

The documentation for this class was generated from the following files: