Options.h File Reference

#include <optional>
#include "storm/adapters/RationalNumberAdapter.h"
#include "storm/transformer/bisimulation/BisimulationType.h"
#include "storm/utility/constants.h"

Include dependency graph for Options.h:

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

Go to the source code of this file.

Classes
struct	storm::bisimulation::Options

Namespaces
namespace	storm
namespace	storm::bisimulation

Enumerations
enum class	storm::bisimulation::StateLabelPreservation {   storm::bisimulation::Default , storm::bisimulation::All , storm::bisimulation::None , storm::bisimulation::FormulaPropositional ,   storm::bisimulation::FormulaIndividual }
	The way state labels will be preserved by the bisimulation. More...