org.kahina.logic.sat.insertionmus.algorithms

Class AbstractAlgorithm

java.lang.Object

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

Direct Known Subclasses:

AdvancedAlgorithm, BasicAlgorithm, BinaryAlgorithm, CombinedAlgorithm, FasterAdvancedAlgorithm, IncrementalBasicAlgorithm

public abstract class AbstractAlgorithm
extends java.lang.Object

Constructor Summary

Constructors

Constructor and Description
AbstractAlgorithm()

Method Summary

Methods

Modifier and Type	Method and Description
CnfSatInstance	findAMuse(AlgorithmData data)
boolean	nextStep(AlgorithmData data)
abstract boolean	nextStep(int clauseIndex, AlgorithmData data)
protected boolean	solve(AlgorithmData data)
protected boolean	solve(AlgorithmData data, int[] freeze)
protected boolean	solve(AlgorithmData data, java.util.List<java.lang.Integer> clause)

Methods inherited from class java.lang.Object

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

Constructor Detail

AbstractAlgorithm

public AbstractAlgorithm()

Method Detail

solve

protected boolean solve(AlgorithmData data)
                 throws java.util.concurrent.TimeoutException,
                        ResultNotRetrievableException

Throws:

java.util.concurrent.TimeoutException

ResultNotRetrievableException

solve

protected boolean solve(AlgorithmData data,
            int[] freeze)
                 throws java.util.concurrent.TimeoutException,
                        ResultNotRetrievableException

Throws:

java.util.concurrent.TimeoutException

ResultNotRetrievableException

solve

protected boolean solve(AlgorithmData data,
            java.util.List<java.lang.Integer> clause)
                 throws java.util.concurrent.TimeoutException,
                        ResultNotRetrievableException

Throws:

java.util.concurrent.TimeoutException

ResultNotRetrievableException

findAMuse

public CnfSatInstance findAMuse(AlgorithmData data)
                         throws ResultNotRetrievableException

Throws:

ResultNotRetrievableException

nextStep

public boolean nextStep(AlgorithmData data)
                 throws ResultNotRetrievableException

Throws:

ResultNotRetrievableException

nextStep

public abstract boolean nextStep(int clauseIndex,
               AlgorithmData data)
                          throws ResultNotRetrievableException

Parameters:

clauseIndex -

Returns:

true if a new Step is reached.

Throws:

ResultNotRetrievableException