| Package | Description |
|---|---|
| net.ssehub.easy.reasoning.sseReasoner.model |
Package for creating a reasoning model: constraint container, project hierachy evaluator and other.
|
| Modifier and Type | Field and Description |
|---|---|
private TypeCache.Entry |
ContextStack.Context.fallback
A completed type cache entry to be used as fallback lookup for on-demand accessor instantiation.
|
private TypeCache.Entry |
ContextStack.Context.inConstruction
A type cache entry in construction during translation.
|
| Modifier and Type | Field and Description |
|---|---|
private java.util.Map<net.ssehub.easy.varModel.model.datatypes.IDatatype,TypeCache.Entry> |
TypeCache.cache |
private java.util.List<TypeCache.Entry> |
TypeCache.Entry.parents |
| Modifier and Type | Method and Description |
|---|---|
TypeCache.Entry |
TypeCache.createEntryFor(net.ssehub.easy.varModel.model.datatypes.IDatatype type,
net.ssehub.easy.varModel.model.AbstractVariable var)
Creates a type cache entry.
|
TypeCache.Entry |
TypeCache.get(net.ssehub.easy.varModel.model.datatypes.IDatatype type)
Returns a type cache entry for the given
type. |
TypeCache.Entry |
ContextStack.getInConstruction(boolean clear)
Returns whether the current context is currently constructing a type cache.
|
| Modifier and Type | Method and Description |
|---|---|
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.
|
void |
ContextStack.setInConstruction(TypeCache.Entry inConstruction)
Changes the type cache the current context is currently constructing.
|
Copyright © 2009 - 2018 SSE. All Rights Reserved.