BisimulationDecomposition.h File Reference

#include "storm/logic/Formulas.h"
#include "storm/settings/SettingsManager.h"
#include "storm/settings/modules/BisimulationSettings.h"
#include "storm/settings/modules/GeneralSettings.h"
#include "storm/solver/OptimizationDirection.h"
#include "storm/storage/Decomposition.h"
#include "storm/storage/StateBlock.h"
#include "storm/storage/bisimulation/BisimulationType.h"
#include "storm/storage/bisimulation/Partition.h"
#include "storm/utility/ConstantsComparator.h"

Include dependency graph for BisimulationDecomposition.h:

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

Go to the source code of this file.

Classes
class	storm::storage::BisimulationDecomposition< ModelType, BlockDataType >
	This class is the superclass of all decompositions of a sparse model into its bisimulation quotient. More...
struct	storm::storage::BisimulationDecomposition< ModelType, BlockDataType >::Options

Namespaces
namespace	storm
namespace	storm::logic
namespace	storm::storage

Functions
BisimulationType	storm::storage::resolveBisimulationTypeChoice (BisimulationTypeChoice c)