| 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 FailedElements |
Resolver.failedElements |
| Modifier and Type | Method and Description |
|---|---|
(package private) FailedElements |
Resolver.getFailedElements()
|
| Modifier and Type | Method and Description |
|---|---|
private void |
Engine.analyzeMessages(FailedElements failedElements)
Analyzes remaining messages.
|
private void |
Engine.analyzeProblemConstraints(FailedElements failedElements)
Method for analyzing problem points - failed constraints and associated variables.
|
private void |
Engine.analyzeProblemVariables(FailedElements failedElements)
Method for analyzing failed elements and creating error messages.
|
| Modifier and Type | Method and Description |
|---|---|
static void |
ReasoningUtils.printFailedElements(FailedElements failedElements)
Method for displaying failed constraints and assignments.
|
Copyright © 2009 - 2018 SSE. All Rights Reserved.