dd.h File Reference

#include <cstdint>
#include <set>
#include <vector>
#include "storm/storage/dd/DdType.h"

Include dependency graph for dd.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::expressions
namespace	storm::dd
namespace	storm::utility
namespace	storm::utility::dd

Functions
template<storm::dd::DdType Type>
std::pair< storm::dd::Bdd< Type >, uint64_t >	storm::utility::dd::computeReachableStates (storm::dd::Bdd< Type > const &initialStates, storm::dd::Bdd< Type > const &transitions, std::set< storm::expressions::Variable > const &rowMetaVariables, std::set< storm::expressions::Variable > const &columnMetaVariables)
template<storm::dd::DdType Type>
storm::dd::Bdd< Type >	storm::utility::dd::computeBackwardsReachableStates (storm::dd::Bdd< Type > const &initialStates, storm::dd::Bdd< Type > const &constraintStates, storm::dd::Bdd< Type > const &transitions, std::set< storm::expressions::Variable > const &rowMetaVariables, std::set< storm::expressions::Variable > const &columnMetaVariables)
template<storm::dd::DdType Type, typename ValueType >
storm::dd::Add< Type, ValueType >	storm::utility::dd::getRowColumnDiagonal (storm::dd::DdManager< Type > const &ddManager, std::vector< std::pair< storm::expressions::Variable, storm::expressions::Variable > > const &rowColumnMetaVariablePairs)
template<storm::dd::DdType Type>
storm::dd::Bdd< Type >	storm::utility::dd::getRowColumnDiagonal (storm::dd::DdManager< Type > const &ddManager, std::vector< std::pair< storm::expressions::Variable, storm::expressions::Variable > > const &rowColumnMetaVariablePairs)