All Classes

Class	Description
And	A representation of the model object 'And'.
AndImpl	An implementation of the model object 'And'.
AndItemProvider	This is the item provider adapter for a And object.
AssignmentContext	Container for properties that influence the generation of an individual VariableAssignment.
AssignmentContext.PredicateArgumentsProvider	Functional interface used to define the left side of generated rules.
AssignmentsTranslator	Translates sets of assignments for a single predicate.
AssignmentTypeRestrictionsCollector	Collects the type restrictions for Assignments.
Attribute	A representation of the model object 'Attribute'.
AttributeDataTypeRestriction	Restriction that an unbound Attribute-Variable in an assignment rule must be part of a DataType.
AttributeImpl	An implementation of the model object 'Attribute'.
AttributeItemProvider	This is the item provider adapter for a Attribute object.
AttributeRestriction	Superclass for all attribute type restrictions.
AttributeValueSetTypeRestriction	Restriction that an unbound Attribute-Variable in an assignment rule must be of a certain ValueSetType.
Caller	A representation of the model object 'Caller'.
CallerImpl	An implementation of the model object 'Caller'.
CallerItemProvider	This is the item provider adapter for a Caller object.
CallerTranslator	Translates Callers, namely SystemUsages and Operations.
Configuration	Configures the performance optimizations for the translator.
DataType	A representation of the model object 'Data Type'.
DataTypeImpl	An implementation of the model object 'Data Type'.
DataTypeItemProvider	This is the item provider adapter for a DataType object.
DefaultStateRef	A representation of the model object 'Default State Ref'.
DefaultStateRefImpl	An implementation of the model object 'Default State Ref'.
DefaultStateRefItemProvider	This is the item provider adapter for a DefaultStateRef object.
DefaultStateRefItemProvider	This is the item provider adapter for a edu.kit.ipd.sdq.dataflow.systemmodel.DefaultStateRef object.
False	A representation of the model object 'False'.
FalseImpl	An implementation of the model object 'False'.
FalseItemProvider	This is the item provider adapter for a False object.
LogicTerm	A representation of the model object 'Logic Term'.
LogicTermContext	Provides the context information required for the LogicTermTranslator.
LogicTermImpl	An implementation of the model object 'Logic Term'.
LogicTermItemProvider	This is the item provider adapter for a LogicTerm object.
LogicTermTranslator	Translates LogicTerms (the right sides of Variable Assignments).
Main
MinStatic	A representation of the model object 'Min Static'.
MinStaticImpl	An implementation of the model object 'Min Static'.
MinStaticItemProvider
MinStaticItemProvider	This is the item provider adapter for a MinStatic object.
Not	A representation of the model object 'Not'.
NotImpl	An implementation of the model object 'Not'.
NotItemProvider	This is the item provider adapter for a Not object.
Operation	A representation of the model object 'Operation'.
OperationCall	A representation of the model object 'Operation Call'.
OperationCallImpl	An implementation of the model object 'Operation Call'.
OperationCallItemProvider	This is the item provider adapter for a OperationCall object.
OperationImpl	An implementation of the model object 'Operation'.
OperationItemProvider	This is the item provider adapter for a Operation object.
Or	A representation of the model object 'Or'.
OrImpl	An implementation of the model object 'Or'.
OrItemProvider	This is the item provider adapter for a Or object.
ParameterRef	A representation of the model object 'Parameter Ref'.
ParameterRefImpl	An implementation of the model object 'Parameter Ref'.
ParameterRefItemProvider	This is the item provider adapter for a edu.kit.ipd.sdq.dataflow.systemmodel.ParameterRef object.
ParameterRefItemProvider	This is the item provider adapter for a ParameterRef object.
PreambleBuilder	Builds teh preamble added to every program.
PrologmodelActionBarContributor	This is the action bar contributor for the Prologmodel model editor.
PrologmodelAdapterFactory	The Adapter Factory for the model.
PrologmodelEditor	This is an example of a Prologmodel model editor.
PrologmodelEditorPlugin	This is the central singleton for the Prologmodel editor plugin.
PrologmodelEditorPlugin.Implementation	The actual implementation of the Eclipse Plugin.
PrologmodelEditPlugin	This is the central singleton for the Prologmodel edit plugin.
PrologmodelEditPlugin.Implementation	The actual implementation of the Eclipse Plugin.
PrologmodelFactory	The Factory for the model.
PrologmodelFactoryImpl	An implementation of the model Factory.
PrologmodelItemProviderAdapterFactory
PrologmodelItemProviderAdapterFactory	This is the factory that is used to provide the interfaces needed to support Viewers.
PrologmodelModelWizard	This is a simple wizard for creating a new model file.
PrologmodelPackage	The Package for the model.
PrologmodelPackage.Literals	Defines literals for the meta objects that represent each class, each feature of each class, each operation of each class, each enum, and each data type
PrologmodelPackageImpl	An implementation of the model Package.
PrologmodelSwitch<T>	The Switch for the model's inheritance hierarchy.
PrologmodelValidator	The Validator for the model.
PrologProgram	Class for the easier generation of textual Prolog Programs.
Property	A representation of the model object 'Property'.
PropertyDefinition	A representation of the model object 'Property Definition'.
PropertyDefinitionImpl	An implementation of the model object 'Property Definition'.
PropertyDefinitionItemProvider	This is the item provider adapter for a edu.kit.ipd.sdq.dataflow.systemmodel.PropertyDefinition object.
PropertyDefinitionItemProvider	This is the item provider adapter for a PropertyDefinition object.
PropertyImpl	An implementation of the model object 'Property'.
PropertyItemProvider	This is the item provider adapter for a Property object.
PropertyRef	A representation of the model object 'Property Ref'.
PropertyRefImpl	An implementation of the model object 'Property Ref'.
PropertyRefItemProvider	This is the item provider adapter for a edu.kit.ipd.sdq.dataflow.systemmodel.PropertyRef object.
PropertyRefItemProvider	This is the item provider adapter for a PropertyRef object.
ReturnValueRef	A representation of the model object 'Return Value Ref'.
ReturnValueRefImpl	An implementation of the model object 'Return Value Ref'.
ReturnValueRefItemProvider	This is the item provider adapter for a edu.kit.ipd.sdq.dataflow.systemmodel.ReturnValueRef object.
ReturnValueRefItemProvider	This is the item provider adapter for a ReturnValueRef object.
StateAccessMode	Specifies using which predicates state variables are accessed.
StateRef	A representation of the model object 'State Ref'.
StateRefImpl	An implementation of the model object 'State Ref'.
StateRefItemProvider	This is the item provider adapter for a edu.kit.ipd.sdq.dataflow.systemmodel.StateRef object.
StateRefItemProvider	This is the item provider adapter for a StateRef object.
System	A representation of the model object 'System'.
SystemImpl	An implementation of the model object 'System'.
SystemItemProvider	This is the item provider adapter for a System object.
SystemTranslator	Root class for the Translation.
SystemUsage	A representation of the model object 'System Usage'.
SystemUsageImpl	An implementation of the model object 'System Usage'.
SystemUsageItemProvider	This is the item provider adapter for a SystemUsage object.
TermTypeRestrictionsCollector	Collects all TypeRestrictions for a given LogicTerm.
TranslationCache	Caches translation information which is potentially expensive to compute.
True	A representation of the model object 'True'.
TrueImpl	An implementation of the model object 'True'.
TrueItemProvider	This is the item provider adapter for a True object.
TypeRestrictions
Util	Bundles common Utility functions and conventions.
Util
Value	A representation of the model object 'Value'.
ValueImpl	An implementation of the model object 'Value'.
ValueItemProvider	This is the item provider adapter for a Value object.
ValueSetType	A representation of the model object 'Value Set Type'.
ValueSetTypeImpl	An implementation of the model object 'Value Set Type'.
ValueSetTypeItemProvider	This is the item provider adapter for a ValueSetType object.
Variable	A representation of the model object 'Variable'.
VariableAssignment	A representation of the model object 'Variable Assignment'.
VariableAssignmentImpl	An implementation of the model object 'Variable Assignment'.
VariableAssignmentItemProvider	This is the item provider adapter for a edu.kit.ipd.sdq.dataflow.systemmodel.VariableAssignment object.
VariableAssignmentItemProvider	This is the item provider adapter for a VariableAssignment object.
VariableImpl	An implementation of the model object 'Variable'.
VariableItemProvider	This is the item provider adapter for a edu.kit.ipd.sdq.dataflow.systemmodel.Variable object.
VariableItemProvider	This is the item provider adapter for a Variable object.