org.kahina.logic.sat.insertionmus.algorithms

Class BinaryAlgorithm

java.lang.Object

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

org.kahina.logic.sat.insertionmus.algorithms.BinaryAlgorithm

public class BinaryAlgorithm
extends AbstractAlgorithm

Constructor Summary

Constructors

Constructor and Description
BinaryAlgorithm()

Method Summary

Methods

Modifier and Type	Method and Description
boolean	nextStep(AlgorithmData data)
boolean	nextStep(int clauseIndex, AlgorithmData data)

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

findAMuse, solve, solve, solve

Methods inherited from class java.lang.Object

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

Constructor Detail

BinaryAlgorithm

public BinaryAlgorithm()

Method Detail

nextStep

public boolean nextStep(AlgorithmData data)

Overrides:

nextStep 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.