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

Class InvertAHeuristic

java.lang.Object

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

All Implemented Interfaces:

ISortingHeuristic

public class InvertAHeuristic
extends java.lang.Object
implements ISortingHeuristic

Field Summary

Fields

Modifier and Type	Field and Description
protected ISortingHeuristic	heuristic

Constructor Summary

Constructors

Constructor and Description
InvertAHeuristic(ISortingHeuristic heuristic)

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

Field Detail

heuristic

protected ISortingHeuristic heuristic

Constructor Detail

InvertAHeuristic

public InvertAHeuristic(ISortingHeuristic heuristic)

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