org.sat4j.minisat.orders
Class VarOrderHeapRsat

java.lang.Object
  org.sat4j.minisat.orders.VarOrderHeap<ILits>
      org.sat4j.minisat.orders.VarOrderHeapRsat

All Implemented Interfaces:

java.io.Serializable, IOrder<ILits>

public class VarOrderHeapRsat
extends VarOrderHeap<ILits>

Heuristics that remembers the latest assignment if any as proposed in Rsat.

See Also:

Serialized Form

Field Summary

Fields inherited from class org.sat4j.minisat.orders.VarOrderHeap

activity, heap, lits, phase

Constructor Summary

VarOrderHeapRsat()

Method Summary

void	assignLiteral(int p) indicate that a literal has been satisfied.
java.lang.String	toString()
void	updateVar(int p) Appelee lorsque l'activite de la variable x a change.

Methods inherited from class org.sat4j.minisat.orders.VarOrderHeap

getVocabulary, init, newVar, newVar, numberOfInterestingVariables, printStat, select, setLits, setVarDecay, undo, updateActivity, varActivity, varDecayActivity

Methods inherited from class java.lang.Object

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

Constructor Detail

VarOrderHeapRsat

public VarOrderHeapRsat()

Method Detail

updateVar

public void updateVar(int p)

Description copied from class: VarOrderHeap

Appelee lorsque l'activite de la variable x a change.

Specified by:

updateVar in interface IOrder<ILits>

Overrides:

updateVar in class VarOrderHeap<ILits>

Parameters:

p - a literal

assignLiteral

public void assignLiteral(int p)

Description copied from interface: IOrder

indicate that a literal has been satisfied.

Specified by:

assignLiteral in interface IOrder<ILits>

Overrides:

assignLiteral in class VarOrderHeap<ILits>

toString

public java.lang.String toString()

Overrides:

toString in class VarOrderHeap<ILits>