CuddReorderingTechnique.h File Reference

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

Go to the source code of this file.

Namespaces
namespace	storm
namespace	storm::dd

Enumerations

enum class

storm::dd::CuddReorderingTechnique {   storm::dd::None , storm::dd::Random , storm::dd::RandomPivot , storm::dd::Sift ,   storm::dd::SiftConv , storm::dd::SymmetricSift , storm::dd::SymmetricSiftConv , storm::dd::GroupSift ,   storm::dd::GroupSiftConv , storm::dd::Win2 , storm::dd::Win2Conv , storm::dd::Win3 ,   storm::dd::Win3Conv , storm::dd::Win4 , storm::dd::Win4Conv , storm::dd::Annealing ,   storm::dd::Genetic , storm::dd::Exact }