Deprecated List

Member Diades::Sdmdl::FormulaFactory::context () const

it should always return isTrue() now

Member Diades::Sdmdl::FormulaFactory::noContext () const

it should always return isFalse() now

Class Diades::Sdmdl::UnfoldingState