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

Interface IActivity

All Known Implementing Classes:

AbstractActivity, NonRandomHeapActivity, RandomHeapActivity, StaticHeapActivity

public interface IActivity

Ein Interface dass es ermoeglicht die Aktivity Heuristik auf unterschiedliche arten zu implementieren

Author:

seitz

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)

Method Detail

NewUnitClause

void NewUnitClause(Clause newClause)

NewClause

void NewClause(Clause newClause)

getNextVar

Variable getNextVar()

unasignedVariable

void unasignedVariable(Variable variable)

increaseActivity

void increaseActivity(Variable v,
                    float Gain)

init

void init(ClauseSet set)