Fork me on GitHub

Constraints Catalog

Core Constraints

Namecapce: fr.liglab.adele.cube.core
Constraint NameArityCapabilitiesConstraint ResolverSmall Description
connectBinarycheck, find, performConnectResolverGaranties that a Component is Connected to another Component
on-nodeBinarycheck, find, performOnNodeResolverGaranties that a Component is on a particular Node
in-componentsUnarycheckInComponentsResolverEnsure that a component has at max the defined number of Input Components
out-componentsUnarycheckOutComponentsResolverEnsure that a component has at max the defined number of Output Components
in-scopeBinarycheck, find, performInScopeResolverGaranties that a Node is on a particular Scope
components-per-nodeUnarycheckComponentsPerNodeResolverLimit the maximum number of components that can execute on a node (where the type of components and the maximum value are given as attributes)
components-per-scopeUnarycheckComponentsPerScopeResolverLimit the maximum number of components that execute in a scope (where the type of components and the maximum value are given as attributes)
self-sizingUnarycheck, find, performSelfSizingResolverreplicate components when their input connections are saturated
on-same-nodeBinarycheckOnSameNodeResolverensure that two components are on the same node
in-same-scopeBinarycheckInSameScopeResolverensure that two components are on the same scope
find-localUnaryfindFindLocallyResolverFind on the local Runtime Model an instance of the indicated type
create-localUnaryfindCreateLocallyResolverIt helps to find a value for constrained variable by creating a new instance locally of the same type.
find-scopeUnaryfindFindScopeResolverIt helps to find a scope instance for the constrained scope variable

Cilia Constraints

Namecapce: fr.liglab.adele.cube.cilia
Constraint NameArityCapabilitiesConstraint ResolverSmall Description