AbstractionOptions.h File Reference

#include <cstdint>
#include <vector>
#include "storm/storage/expressions/Expression.h"

Include dependency graph for AbstractionOptions.h:

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

Go to the source code of this file.

Classes
struct	storm::gbar::abstraction::AbstractionOptions
	Options that configure the game-based abstraction-refinement procedure. More...

Namespaces
namespace	storm
namespace	storm::gbar
namespace	storm::gbar::abstraction

Enumerations
enum class	storm::gbar::abstraction::PivotSelectionHeuristic { storm::gbar::abstraction::NearestMaximalDeviation , storm::gbar::abstraction::MostProbablePath , storm::gbar::abstraction::MaxWeightedDeviation }
enum class	storm::gbar::abstraction::SplitMode { storm::gbar::abstraction::All , storm::gbar::abstraction::None , storm::gbar::abstraction::NonGuard }
enum class	storm::gbar::abstraction::ReuseMode { storm::gbar::abstraction::All , storm::gbar::abstraction::None , storm::gbar::abstraction::Qualitative , storm::gbar::abstraction::Quantitative }
enum class	storm::gbar::abstraction::SolveMode { storm::gbar::abstraction::Dd , storm::gbar::abstraction::Sparse }
enum class	storm::gbar::abstraction::ValidBlockMode { storm::gbar::abstraction::MorePredicates , storm::gbar::abstraction::BlockEnumeration }