dd.cpp File Reference

#include "storm/utility/dd.h"
#include "storm/storage/dd/Add.h"
#include "storm/storage/dd/Bdd.h"
#include "storm/storage/dd/DdManager.h"
#include "storm/adapters/RationalFunctionAdapter.h"
#include "storm/utility/macros.h"

Include dependency graph for dd.cpp:

Go to the source code of this file.

Namespaces
namespace	storm
	LabParser.cpp.
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>
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)
template std::pair< storm::dd::Bdd< storm::dd::DdType::CUDD >, uint64_t >	storm::utility::dd::computeReachableStates (storm::dd::Bdd< storm::dd::DdType::CUDD > const &initialStates, storm::dd::Bdd< storm::dd::DdType::CUDD > const &transitions, std::set< storm::expressions::Variable > const &rowMetaVariables, std::set< storm::expressions::Variable > const &columnMetaVariables)
template std::pair< storm::dd::Bdd< storm::dd::DdType::Sylvan >, uint64_t >	storm::utility::dd::computeReachableStates (storm::dd::Bdd< storm::dd::DdType::Sylvan > const &initialStates, storm::dd::Bdd< storm::dd::DdType::Sylvan > const &transitions, std::set< storm::expressions::Variable > const &rowMetaVariables, std::set< storm::expressions::Variable > const &columnMetaVariables)
template storm::dd::Bdd< storm::dd::DdType::CUDD >	storm::utility::dd::computeBackwardsReachableStates (storm::dd::Bdd< storm::dd::DdType::CUDD > const &initialStates, storm::dd::Bdd< storm::dd::DdType::CUDD > const &constraintStates, storm::dd::Bdd< storm::dd::DdType::CUDD > const &transitions, std::set< storm::expressions::Variable > const &rowMetaVariables, std::set< storm::expressions::Variable > const &columnMetaVariables)
template storm::dd::Bdd< storm::dd::DdType::Sylvan >	storm::utility::dd::computeBackwardsReachableStates (storm::dd::Bdd< storm::dd::DdType::Sylvan > const &initialStates, storm::dd::Bdd< storm::dd::DdType::Sylvan > const &constraintStates, storm::dd::Bdd< storm::dd::DdType::Sylvan > const &transitions, std::set< storm::expressions::Variable > const &rowMetaVariables, std::set< storm::expressions::Variable > const &columnMetaVariables)
template storm::dd::Bdd< storm::dd::DdType::CUDD >	storm::utility::dd::getRowColumnDiagonal (storm::dd::DdManager< storm::dd::DdType::CUDD > const &ddManager, std::vector< std::pair< storm::expressions::Variable, storm::expressions::Variable > > const &rowColumnMetaVariablePairs)
template storm::dd::Bdd< storm::dd::DdType::Sylvan >	storm::utility::dd::getRowColumnDiagonal (storm::dd::DdManager< storm::dd::DdType::Sylvan > const &ddManager, std::vector< std::pair< storm::expressions::Variable, storm::expressions::Variable > > const &rowColumnMetaVariablePairs)