net.ssehub.easy.reasoning.sseReasoner

Class Resolver.ReasonerState

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 and Description
private java.util.List<net.ssehub.easy.reasoning.core.reasoner.ConstraintList>	constraintBase
private VariablesMap	variablesMap

Constructor Summary

Constructors

Modifier	Constructor and 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<net.ssehub.easy.reasoning.core.reasoner.ConstraintList> constraintBase

variablesMap

private VariablesMap variablesMap

Constructor Detail

ReasonerState

private ReasonerState()