Package eu.qualimaster.easy.extension.debug

Class DebugParallel.ReasoningRunnable

java.lang.Object
eu.qualimaster.easy.extension.debug.DebugParallel.ReasoningRunnable
All Implemented Interfaces:
Runnable
Enclosing class:
DebugParallel
private static class DebugParallel.ReasoningRunnable extends Object implements Runnable
Implements a reasoning runnble for reasoning in parallel.
Author:
Holger Eichelberger

  • Field Summary

    Fields
    Modifier and Type
    Field
    Description
    private net.ssehub.easy.varModel.confModel.Configuration
    cfg
     
    private String
    name
     

  • Constructor Summary

    Constructors
    Modifier
    Constructor
    Description
    private
    ReasoningRunnable(String name, net.ssehub.easy.varModel.confModel.Configuration cfg)
    Creates a test runnable.

  • Method Summary

    Modifier and Type
    Method
    Description
    void
    run()
     

    Methods inherited from class java.lang.Object

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

  • Field Details

    • name

      private String name

    • cfg

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

  • Constructor Details

    • ReasoningRunnable

      private ReasoningRunnable(String name, net.ssehub.easy.varModel.confModel.Configuration cfg)
      Creates a test runnable.
      Parameters:
      name - the name for output log
      cfg - the configuration to reason on

  • Method Details

    • run

      public void run()
      Specified by:
      run in interface Runnable