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

Class AbstractActivity

java.lang.Object

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

All Implemented Interfaces:

IActivity

Direct Known Subclasses:

NonRandomHeapActivity, RandomHeapActivity, StaticHeapActivity

public abstract class AbstractActivity
extends java.lang.Object
implements IActivity

Field Summary

Fields

Modifier and Type	Field and Description
double	activityReduction
double	clauseActivityGain
int	count
int	countTillActivityReduction
protected ClauseSet	instance
protected java.util.PriorityQueue<Variable>	pq
double	unitActivityGain

Constructor Summary

Constructors

Constructor and Description
AbstractActivity()

Method Summary

Methods

Modifier and Type	Method and Description
Variable	getNextVar()
void	increaseActivity(Variable v, float Gain)
void	init(ClauseSet set)
void	NewClause(Clause newClause)
void	NewUnitClause(Clause newClause)
void	unasignedVariable(Variable variable)

Methods inherited from class java.lang.Object

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

Field Detail

countTillActivityReduction

public int countTillActivityReduction

activityReduction

public double activityReduction

unitActivityGain

public double unitActivityGain

clauseActivityGain

public double clauseActivityGain

pq

protected java.util.PriorityQueue<Variable> pq

instance

protected ClauseSet instance

count

public int count

Constructor Detail

AbstractActivity

public AbstractActivity()

Method Detail

init

public void init(ClauseSet set)

Specified by:

init in interface IActivity

NewUnitClause

public void NewUnitClause(Clause newClause)

Specified by:

NewUnitClause in interface IActivity

NewClause

public void NewClause(Clause newClause)

Specified by:

NewClause in interface IActivity

increaseActivity

public void increaseActivity(Variable v,
                    float Gain)

Specified by:

increaseActivity in interface IActivity

getNextVar

public Variable getNextVar()

Specified by:

getNextVar in interface IActivity

unasignedVariable

public void unasignedVariable(Variable variable)

Specified by:

unasignedVariable in interface IActivity