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

Class AverageVariableOccourrenceHeuristic

java.lang.Object

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

All Implemented Interfaces:

ISortingHeuristic

public class AverageVariableOccourrenceHeuristic
extends java.lang.Object
implements ISortingHeuristic

Constructor Summary

Constructors

Constructor and Description
AverageVariableOccourrenceHeuristic(ISortingHeuristic fallback)

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

AverageVariableOccourrenceHeuristic

public AverageVariableOccourrenceHeuristic(ISortingHeuristic fallback)

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