storm::logic::InheritedInformation Class Reference

Public Member Functions
	InheritedInformation (FragmentSpecification const &fragmentSpecification)
FragmentSpecification const &	getSpecification () const

Detailed Description

Definition at line 8 of file FragmentChecker.cpp.

Constructor & Destructor Documentation

InheritedInformation()

storm::logic::InheritedInformation::InheritedInformation ( FragmentSpecification const &  fragmentSpecification )

inline

Definition at line 10 of file FragmentChecker.cpp.

Member Function Documentation

getSpecification()

FragmentSpecification const & storm::logic::InheritedInformation::getSpecification ( ) const

inline

Definition at line 14 of file FragmentChecker.cpp.

---

The documentation for this class was generated from the following file:

• src/storm/logic/FragmentChecker.cpp