Package com.semedy.reasoner.app

Class ProblemMinimizer

java.lang.Object

com.semedy.reasoner.app.ProblemMinimizer

public class ProblemMinimizer
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
ProblemMinimizer(Check4Bug 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

ProblemMinimizer

public ProblemMinimizer(Check4Bug 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