Resolver.ReasonerState (EASy-Producer Documentation API)

java.lang.Object
- net.ssehub.easy.reasoning.sseReasoner.Resolver.ReasonerState

Enclosing class:

Resolver
```
private static class Resolver.ReasonerState
extends java.lang.Object
```
Represents the state of the resolver/reasoner to be kept in case of incremental reasoning.

Author:

Holger Eichelberger

- Field Summary
  
  Fields
  Modifier and Type Field Description
  
  private java.util.List<ConstraintList> constraintBase
  
  private VariablesMap variablesMap
- Constructor Summary
  
  Constructors
  Modifier Constructor Description
  
  private ReasonerState()
- Method Summary
  - Methods inherited from class java.lang.Object
    clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Field Detail

constraintBase

private java.util.List<ConstraintList> constraintBase

variablesMap
```
private VariablesMap variablesMap
```

Constructor Detail
- ReasonerState
```
private ReasonerState()
```