Package net.ssehub.easy.reasoning.sseReasoner

Class Reasoner.ReasonerInstance

java.lang.Object
net.ssehub.easy.reasoning.sseReasoner.Reasoner.ReasonerInstance
All Implemented Interfaces:
net.ssehub.easy.reasoning.core.frontend.IReasonerInstance
Enclosing class:
Reasoner
private class Reasoner.ReasonerInstance extends Object implements net.ssehub.easy.reasoning.core.frontend.IReasonerInstance
A reusable reasoner instance.
Author:
Holger Eichelberger

  • Field Summary

    Fields
    Modifier and Type
    Field
    Description
    private net.ssehub.easy.varModel.confModel.Configuration
    cfg
     
    private Engine
    engine
     
    private net.ssehub.easy.reasoning.core.reasoner.IReasonerInterceptor
    interceptor
     
    private net.ssehub.easy.reasoning.core.reasoner.ReasonerConfiguration
    reasonerConfiguration
     

  • Constructor Summary

    Constructors
    Modifier
    Constructor
    Description
    private
    ReasonerInstance(net.ssehub.easy.varModel.confModel.Configuration cfg, net.ssehub.easy.reasoning.core.reasoner.ReasonerConfiguration reasonerConfiguration, net.ssehub.easy.reasoning.core.reasoner.IReasonerInterceptor interceptor)
    Creates a reusable reasoner instance.

  • Method Summary

    Modifier and Type
    Method
    Description
    net.ssehub.easy.reasoning.core.reasoner.ReasoningResult
    check(net.ssehub.easy.basics.progress.ProgressObserver observer)
     
    net.ssehub.easy.reasoning.core.reasoner.ValueCreationResult
    createValue(net.ssehub.easy.varModel.model.AbstractVariable var, net.ssehub.easy.varModel.model.datatypes.IDatatype type, net.ssehub.easy.basics.progress.ProgressObserver observer)
     
    net.ssehub.easy.reasoning.core.reasoner.EvaluationResult
    evaluate(List<net.ssehub.easy.varModel.model.Constraint> constraints, net.ssehub.easy.basics.progress.ProgressObserver observer)
     
    net.ssehub.easy.reasoning.core.reasoner.ReasonerDescriptor
    getDescriptor()
     
    net.ssehub.easy.varModel.model.Project
    getProject()
     
    net.ssehub.easy.reasoning.core.reasoner.ReasonerConfiguration
    getReasonerConfiguration()
     
    net.ssehub.easy.reasoning.core.reasoner.ReasoningResult
    isConsistent(net.ssehub.easy.basics.progress.ProgressObserver observer)
     
    boolean
    isRunning()
     
    void
    notify(net.ssehub.easy.reasoning.core.reasoner.IReasonerMessage message)
     
    net.ssehub.easy.reasoning.core.reasoner.ReasoningResult
    propagate(net.ssehub.easy.basics.progress.ProgressObserver observer)
     
    boolean
    stop()
     

    Methods inherited from class java.lang.Object

    clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

  • Field Details

    • engine

      private Engine engine

    • cfg

      private net.ssehub.easy.varModel.confModel.Configuration cfg

    • reasonerConfiguration

      private net.ssehub.easy.reasoning.core.reasoner.ReasonerConfiguration reasonerConfiguration

    • interceptor

      private net.ssehub.easy.reasoning.core.reasoner.IReasonerInterceptor interceptor

  • Constructor Details

    • ReasonerInstance

      private ReasonerInstance(net.ssehub.easy.varModel.confModel.Configuration cfg, net.ssehub.easy.reasoning.core.reasoner.ReasonerConfiguration reasonerConfiguration, net.ssehub.easy.reasoning.core.reasoner.IReasonerInterceptor interceptor)
      Creates a reusable reasoner instance.
      Parameters:
      cfg - the configuration as a basis for the evaluation
      reasonerConfiguration - the reasoner configuration to be used for reasoning (e.g. taken from the UI, may be null)
      interceptor - the optional reasoner interceptor (may be null)

  • Method Details

    • getDescriptor

      public net.ssehub.easy.reasoning.core.reasoner.ReasonerDescriptor getDescriptor()
      Specified by:
      getDescriptor in interface net.ssehub.easy.reasoning.core.frontend.IReasonerInstance

    • isConsistent

      public net.ssehub.easy.reasoning.core.reasoner.ReasoningResult isConsistent(net.ssehub.easy.basics.progress.ProgressObserver observer)
      Specified by:
      isConsistent in interface net.ssehub.easy.reasoning.core.frontend.IReasonerInstance

    • check

      public net.ssehub.easy.reasoning.core.reasoner.ReasoningResult check(net.ssehub.easy.basics.progress.ProgressObserver observer)
      Specified by:
      check in interface net.ssehub.easy.reasoning.core.frontend.IReasonerInstance

    • propagate

      public net.ssehub.easy.reasoning.core.reasoner.ReasoningResult propagate(net.ssehub.easy.basics.progress.ProgressObserver observer)
      Specified by:
      propagate in interface net.ssehub.easy.reasoning.core.frontend.IReasonerInstance

    • evaluate

      public net.ssehub.easy.reasoning.core.reasoner.EvaluationResult evaluate(List<net.ssehub.easy.varModel.model.Constraint> constraints, net.ssehub.easy.basics.progress.ProgressObserver observer)
      Specified by:
      evaluate in interface net.ssehub.easy.reasoning.core.frontend.IReasonerInstance

    • createValue

      public net.ssehub.easy.reasoning.core.reasoner.ValueCreationResult createValue(net.ssehub.easy.varModel.model.AbstractVariable var, net.ssehub.easy.varModel.model.datatypes.IDatatype type, net.ssehub.easy.basics.progress.ProgressObserver observer)
      Specified by:
      createValue in interface net.ssehub.easy.reasoning.core.frontend.IReasonerInstance

    • notify

      public void notify(net.ssehub.easy.reasoning.core.reasoner.IReasonerMessage message)
      Specified by:
      notify in interface net.ssehub.easy.reasoning.core.frontend.IReasonerInstance

    • isRunning

      public boolean isRunning()
      Specified by:
      isRunning in interface net.ssehub.easy.reasoning.core.frontend.IReasonerInstance

    • stop

      public boolean stop()
      Specified by:
      stop in interface net.ssehub.easy.reasoning.core.frontend.IReasonerInstance

    • getProject

      public net.ssehub.easy.varModel.model.Project getProject()
      Specified by:
      getProject in interface net.ssehub.easy.reasoning.core.frontend.IReasonerInstance

    • getReasonerConfiguration

      public net.ssehub.easy.reasoning.core.reasoner.ReasonerConfiguration getReasonerConfiguration()
      Specified by:
      getReasonerConfiguration in interface net.ssehub.easy.reasoning.core.frontend.IReasonerInstance