Uses of Class
net.ssehub.easy.varModel.model.rewrite.modifier.AbstractFrozenChecker

Packages that use AbstractFrozenChecker

Package	Description
net.ssehub.easy.varModel.model.rewrite.modifier	Modifier for the ProjectRewriteVisitor.

Uses of AbstractFrozenChecker in net.ssehub.easy.varModel.model.rewrite.modifier

Subclasses of AbstractFrozenChecker in net.ssehub.easy.varModel.model.rewrite.modifier

Modifier and Type	Class	Description
class	FrozenCompoundConstraintsOmitter	Removes constraint out of compounds, pointing to only frozen and constant elements.
class	FrozenConstraintsFilter	A IModelElementFilter to filter constraints, containing only frozen variables and constants.
class	FrozenConstraintVarFilter	Removes frozen ConstraintType variables if they are only pointing to frozen variable.
class	FrozenTypeDefResolver	Checks whether all instances of a given DerivedDatatype are frozen and will remove all constraints, if all instances are frozen or if none exist.