Package eu.qualimaster.easy.extension.debug

Class DebugParallel

java.lang.Object

eu.qualimaster.easy.extension.debug.AbstractDebug

eu.qualimaster.easy.extension.debug.DebugParallel

public class DebugParallel
extends AbstractDebug

Debugs reasoning on the QM model in parallel.

Author:

Holger Eichelberger

Nested Class Summary

Nested Classes

Modifier and Type	Class	Description
private static class	DebugParallel.ReasoningRunnable	Implements a reasoning runnble for reasoning in parallel.

Field Summary

Fields

Modifier and Type	Field	Description
private static AtomicInteger	count
private static final net.ssehub.easy.reasoning.core.reasoner.ReasonerConfiguration	RCFG

Constructor Summary

Constructors

Constructor	Description
DebugParallel()

Method Summary

Modifier and Type	Method	Description
static void	main(String[] args)	Executes the test.

Methods inherited from class eu.qualimaster.easy.extension.debug.AbstractDebug

initialize, loadModelLocation, sleep

Methods inherited from class java.lang.Object

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

Field Details

RCFG

private static final net.ssehub.easy.reasoning.core.reasoner.ReasonerConfiguration RCFG

count

private static AtomicInteger count

Constructor Details

DebugParallel

public DebugParallel()

Method Details

main

public static void main(String[] args)
                 throws net.ssehub.easy.basics.modelManagement.ModelManagementException

Executes the test.

Parameters:

args - the first argument shall be the model location

Throws:

net.ssehub.easy.basics.modelManagement.ModelManagementException - in case that obtaining the models fails