| 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 ContextStack.Context |
ContextStack.currentContext |
private ContextStack.Context |
ContextStack.Context.predecessor
Predecessor context for stacked lookups.
|
| Modifier and Type | Field and Description |
|---|---|
private static net.ssehub.easy.basics.pool.Pool<ContextStack.Context> |
ContextStack.POOL |
| Modifier and Type | Method and Description |
|---|---|
private ContextStack.Context |
ContextStack.popContextImpl()
Pops the actual context if not the initial (project) context but does not clean up the popped context.
|
| Modifier and Type | Method and Description |
|---|---|
private void |
ContextStack.pushContextImpl(ContextStack.Context context)
Just pushes the given
context without changing it. |
Copyright © 2009 - 2018 SSE. All Rights Reserved.