storm::gbar::abstraction::prism Namespace Reference

Classes
class	CommandAbstractor
class	ModuleAbstractor
class	PrismMenuGameAbstractor
class	AbstractionSettings
	This class represents the settings for the abstraction procedures. More...