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

Class StaticHeapActivity

java.lang.Object

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

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

All Implemented Interfaces:

IActivity

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

Method Summary

Methods

Modifier and Type	Method and Description
void	increaseActivity(Variable v, float Gain)
void	NewUnitClause(Clause newClause)

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

getNextVar, init, NewClause, unasignedVariable

Methods inherited from class java.lang.Object

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

Constructor Detail

StaticHeapActivity

public StaticHeapActivity()

Method Detail

NewUnitClause

public void NewUnitClause(Clause newClause)

Specified by:

NewUnitClause in interface IActivity

Overrides:

NewUnitClause in class AbstractActivity

increaseActivity

public void increaseActivity(Variable v,
                    float Gain)

Specified by:

increaseActivity in interface IActivity

Overrides:

increaseActivity in class AbstractActivity