org.kahina.logic.sat.insertionmus.algorithms.Heuristics

Class AscendingIndexHeuristic

java.lang.Object

org.kahina.logic.sat.insertionmus.algorithms.Heuristics.AscendingIndexHeuristic

All Implemented Interfaces:

ISortingHeuristic

public class AscendingIndexHeuristic
extends java.lang.Object
implements ISortingHeuristic

Constructor Summary

Constructors

Constructor and Description
AscendingIndexHeuristic()

Method Summary

Methods

Modifier and Type	Method and Description
java.util.Comparator<java.lang.Integer>	getComparator(CnfSatInstance instance)
java.lang.String	toString()

Methods inherited from class java.lang.Object

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

Constructor Detail

AscendingIndexHeuristic

public AscendingIndexHeuristic()

Method Detail

getComparator

public java.util.Comparator<java.lang.Integer> getComparator(CnfSatInstance instance)

Specified by:

getComparator in interface ISortingHeuristic

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object