storm::builder::DdJaniModelBuilder< Type, ValueType > Class Template Reference

#include <DdJaniModelBuilder.h>

Classes
struct	Options

Public Member Functions
std::shared_ptr< storm::models::symbolic::Model< Type, ValueType > >	build (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, boost::optional< std::vector< storm::jani::Property > > const &properties=boost::none)
	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 27 of file DdJaniModelBuilder.h.

Member Function Documentation

build()

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

std::shared_ptr< storm::models::symbolic::Model< Type, ValueType > > storm::builder::DdJaniModelBuilder< Type, ValueType >::build	(	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

model

The model to translate.

Returns

A pointer to the resulting model.

Definition at line 2411 of file DdJaniModelBuilder.cpp.

canHandle()

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

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

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 65 of file DdJaniModelBuilder.cpp.

getSupportedJaniFeatures()

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 55 of file DdJaniModelBuilder.cpp.

---

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

• src/storm/builder/DdJaniModelBuilder.h
• src/storm/builder/DdJaniModelBuilder.cpp