storm::gbar::abstraction::jani Namespace Reference

Classes
class	AutomatonAbstractor
class	EdgeAbstractor
class	JaniMenuGameAbstractor
class	AbstractionSettings
	This class represents the settings for the abstraction procedures. More...