| Package | Description |
|---|---|
| net.ssehub.easy.reasoning.sseReasoner |
Package contains the EASy-Producer reasoner implementation classes.
|
| net.ssehub.easy.reasoning.sseReasoner.model |
Package for creating a reasoning model: constraint container, project hierachy evaluator and other.
|
| Modifier and Type | Class and Description |
|---|---|
(package private) class |
Resolver
Constraint identifier, resolver and executor.
|
| Modifier and Type | Method and Description |
|---|---|
void |
ContextStack.addAsParentCache(net.ssehub.easy.varModel.model.datatypes.IDatatype type,
TypeCache.IConstraintTarget target,
net.ssehub.easy.varModel.confModel.IDecisionVariable register,
net.ssehub.easy.varModel.model.AbstractVariable var)
Adds the type cache of
type as parent to the type cache that is currently in construction. |
void |
TypeCache.Entry.addParent(TypeCache.Entry entry,
TypeCache.IConstraintTarget target,
net.ssehub.easy.varModel.confModel.IDecisionVariable register,
net.ssehub.easy.varModel.model.AbstractVariable var)
Adds a parent to this entry and causes constraint transfer.
|
private void |
TypeCache.ConstraintTemplate.transfer(TypeCache.IConstraintTarget target,
net.ssehub.easy.varModel.confModel.IDecisionVariable register,
net.ssehub.easy.varModel.model.AbstractVariable var,
net.ssehub.easy.varModel.model.AbstractVariable self)
Transfers the stored constraint into the context of
self. |
boolean |
TypeCache.transferConstraints(net.ssehub.easy.varModel.model.datatypes.IDatatype type,
TypeCache.IConstraintTarget target,
net.ssehub.easy.varModel.confModel.IDecisionVariable register,
net.ssehub.easy.varModel.model.AbstractVariable var)
Transfers collected constraints for
type. |
boolean |
ContextStack.transferConstraints(net.ssehub.easy.varModel.model.datatypes.IDatatype type,
TypeCache.IConstraintTarget target,
net.ssehub.easy.varModel.confModel.IDecisionVariable register,
net.ssehub.easy.varModel.model.AbstractVariable var)
Transfers all constraints from the associated type cache entry into their respective target constraint
sets.
|
private boolean |
TypeCache.Entry.transferConstraints(TypeCache.IConstraintTarget target,
net.ssehub.easy.varModel.confModel.IDecisionVariable register,
net.ssehub.easy.varModel.model.AbstractVariable var)
Transfers constraints.
|
Copyright © 2009 - 2018 SSE. All Rights Reserved.