org.kahina.logic.sat.insertionmus.algorithms.MaarenWieringa

Class AdvancedAlgorithm

java.lang.Object

org.kahina.logic.sat.insertionmus.algorithms.AbstractAlgorithm

org.kahina.logic.sat.insertionmus.algorithms.MaarenWieringa.AdvancedAlgorithm

public class AdvancedAlgorithm
extends AbstractAlgorithm

Implementation of H.van Maaren and S. Wieringa "Finding guaranteed MUSes fast"

Author:

Seitz

Field Summary

Fields

Modifier and Type	Field and Description
protected boolean	finished

Constructor Summary

Constructors

Constructor and Description
AdvancedAlgorithm()

Method Summary

Methods

Modifier and Type	Method and Description
CnfSatInstance	findAMuse(AlgorithmData data)
static void	main(java.lang.String[] arg0)
boolean	nextStep(int clauseIndex, AlgorithmData data)
void	run(AlgorithmData data)

Methods inherited from class org.kahina.logic.sat.insertionmus.algorithms.AbstractAlgorithm

nextStep, solve, solve, solve

Methods inherited from class java.lang.Object

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

Field Detail

finished

protected boolean finished

Constructor Detail

AdvancedAlgorithm

public AdvancedAlgorithm()

Method Detail

run

public void run(AlgorithmData data)
         throws java.util.concurrent.TimeoutException,
                java.lang.InterruptedException,
                ResultNotRetrievableException

Throws:

java.util.concurrent.TimeoutException

java.lang.InterruptedException

ResultNotRetrievableException

main

public static void main(java.lang.String[] arg0)
                 throws java.util.concurrent.TimeoutException,
                        java.lang.InterruptedException,
                        java.io.IOException,
                        ResultNotRetrievableException

Throws:

java.util.concurrent.TimeoutException

java.lang.InterruptedException

java.io.IOException

ResultNotRetrievableException

findAMuse

public CnfSatInstance findAMuse(AlgorithmData data)

Overrides:

findAMuse in class AbstractAlgorithm

nextStep

public boolean nextStep(int clauseIndex,
               AlgorithmData data)

Specified by:

nextStep in class AbstractAlgorithm

Returns:

true if a new Step is reached.