org.kahina.logic.sat.insertionmus.iterativ.simpleSAT.activityHeuristics

Class NonRandomHeapActivity

java.lang.Object

org.kahina.logic.sat.insertionmus.iterativ.simpleSAT.activityHeuristics.AbstractActivity

org.kahina.logic.sat.insertionmus.iterativ.simpleSAT.activityHeuristics.NonRandomHeapActivity

All Implemented Interfaces:

IActivity

public class NonRandomHeapActivity
extends AbstractActivity

Field Summary

Fields inherited from class org.kahina.logic.sat.insertionmus.iterativ.simpleSAT.activityHeuristics.AbstractActivity

activityReduction, clauseActivityGain, count, countTillActivityReduction, instance, pq, unitActivityGain

Constructor Summary

Constructors

Constructor and Description
NonRandomHeapActivity()

Method Summary

Methods inherited from class org.kahina.logic.sat.insertionmus.iterativ.simpleSAT.activityHeuristics.AbstractActivity

getNextVar, increaseActivity, init, NewClause, NewUnitClause, unasignedVariable

Methods inherited from class java.lang.Object

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

Constructor Detail

NonRandomHeapActivity

public NonRandomHeapActivity()