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

Class RandomHeapActivity

java.lang.Object

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

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

All Implemented Interfaces:

IActivity

public class RandomHeapActivity
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
RandomHeapActivity()

Method Summary

Methods

Modifier and Type	Method and Description
Variable	getNextVar()

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

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

RandomHeapActivity

public RandomHeapActivity()

Method Detail

getNextVar

public Variable getNextVar()

Specified by:

getNextVar in interface IActivity

Overrides:

getNextVar in class AbstractActivity