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

Interface ISortingHeuristic

All Known Implementing Classes:

AscendingIndexHeuristic, AverageVariableOccourrenceHeuristic, InvertAHeuristic, LargeClausesFirstHeuristic

public interface ISortingHeuristic

Method Summary

Methods

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

Method Detail

getComparator

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