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

Class FasterAdvancedAlgorithm

java.lang.Object

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

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

public class FasterAdvancedAlgorithm
extends AbstractAlgorithm

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

Author:

Seitz

Constructor Summary

Constructors

Constructor and Description
FasterAdvancedAlgorithm()

Method Summary

Methods

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

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

findAMuse, nextStep, solve, solve, solve

Methods inherited from class java.lang.Object

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

Constructor Detail

FasterAdvancedAlgorithm

public FasterAdvancedAlgorithm()

Method Detail

nextStep

public boolean nextStep(int clauseID,
               AlgorithmData data)
                 throws ResultNotRetrievableException

Specified by:

nextStep in class AbstractAlgorithm

Returns:

true if a new Step is reached.

Throws:

ResultNotRetrievableException

run

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

Throws:

java.util.concurrent.TimeoutException

java.lang.InterruptedException

java.io.IOException

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

findAMuse2

public CnfSatInstance findAMuse2(AlgorithmData data)
                          throws ResultNotRetrievableException

Throws:

ResultNotRetrievableException