Package com.semedy.reasoner.app

Class JsonProblemMinimizer

java.lang.Object

com.semedy.reasoner.app.JsonProblemMinimizer

public class JsonProblemMinimizer
extends Object

Problem minimizer systematically reduces the set of facts in order to find a minimal
set of facts which still shows the problem
. For every problem an implementation for Check4Bug has to be delivered.
Check4Bug provides the files to be loaded and the temp directory.

Author:

angele

Constructor Summary

Constructors

Constructor	Description
JsonProblemMinimizer(Check4JsonBug check)

Method Summary

Modifier and Type	Method	Description
static void	main(String[] args)
void	run()	Run the minimizer and store the results in temp directory (given in CheckBug).

Methods inherited from class java.lang.Object

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

Constructor Details

JsonProblemMinimizer

public JsonProblemMinimizer(Check4JsonBug check)

Method Details

run

public void run()
         throws SemReasonerException

Run the minimizer
and store the results in temp directory (given in CheckBug).

Throws:

SemReasonerException

main

public static void main(String[] args)
                 throws SemReasonerException

Throws:

SemReasonerException