Resolver.ReasonerState (EASy-Producer IVML reasoner 1.3.10-SNAPSHOT API)

java.lang.Object

net.ssehub.easy.reasoning.sseReasoner.Resolver.ReasonerState

Enclosing class:: Resolver

private static class Resolver.ReasonerState extends 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 List<net.ssehub.easy.reasoning.core.reasoner.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 Details
- constraintBase
  
  private List<net.ssehub.easy.reasoning.core.reasoner.ConstraintList> constraintBase
- variablesMap
  
  private VariablesMap variablesMap
Constructor Details
- ReasonerState
  
  private ReasonerState()