| 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 | Field and Description |
|---|---|
private VariablesMap |
Resolver.variablesMap |
private VariablesMap |
Resolver.ReasonerState.variablesMap |
| Modifier and Type | Field and Description |
|---|---|
private VariablesMap |
VariablesInNotSimpleAssignmentConstraintsFinder.constraintMap |
| Modifier and Type | Method and Description |
|---|---|
void |
VariablesMap.copyFrom(VariablesMap map)
Copies all registrations from
map. |
| Constructor and Description |
|---|
VariablesInNotSimpleAssignmentConstraintsFinder(VariablesMap constraintMap)
Creates a visitor instance.
|
Copyright © 2009 - 2018 SSE. All Rights Reserved.