Package edu.kit.ipd.sdq.dataflow.systemmodel.typing

Interface Summary

Interface	Description
AttributeRestriction	Superclass for all attribute type restrictions.

Class Summary

Class	Description
AssignmentTypeRestrictionsCollector	Collects the type restrictions for Assignments.
AttributeDataTypeRestriction	Restriction that an unbound Attribute-Variable in an assignment rule must be part of a DataType.
AttributeValueSetTypeRestriction	Restriction that an unbound Attribute-Variable in an assignment rule must be of a certain ValueSetType.
TermTypeRestrictionsCollector	Collects all TypeRestrictions for a given LogicTerm.
TypeRestrictions