org.opt4j.satdecoding
Class VarOrder

java.lang.Object
  org.opt4j.satdecoding.Order
      org.opt4j.satdecoding.VarOrder

public class VarOrder
extends Order

The VarOrder implements an Order like it is used in MiniSAT. Each variable has an activity and a prioritized decision phase.

Field Summary

protected java.util.Map<java.lang.Object,java.lang.Double>	activity
protected java.util.Map<java.lang.Object,java.lang.Boolean>	phase

Fields inherited from class org.opt4j.satdecoding.Order

varDecay, varInc

Constructor Summary

VarOrder()
Constructs a VarOrder.

Method Summary

double	getActivity(java.lang.Object variable) Returns the activity of a variable.
java.util.Set<java.util.Map.Entry<java.lang.Object,java.lang.Double>>	getActivityEntrySet() Returns the entry set of the activities.
boolean	getPhase(java.lang.Object variable) Returns the prioritized phase of a variable.
java.util.Set<java.util.Map.Entry<java.lang.Object,java.lang.Boolean>>	getPhaseEntrySet() Returns the entry set of the phases.
void	setActivity(java.lang.Object variable, double value) Sets the activity of the specified variable.
void	setPhase(java.lang.Object variable, boolean value) Sets the prioritized phase of the specified variable.

Methods inherited from class org.opt4j.satdecoding.Order

getVarDecay, getVarInc, setVarDecay, setVarInc

Methods inherited from class java.lang.Object

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

Field Detail

activity

protected final java.util.Map<java.lang.Object,java.lang.Double> activity

phase

protected final java.util.Map<java.lang.Object,java.lang.Boolean> phase

Constructor Detail

VarOrder

public VarOrder()

Constructs a VarOrder.

Method Detail

setActivity

public void setActivity(java.lang.Object variable,
                        double value)

Sets the activity of the specified variable.

Parameters:

variable - the specific variable

value - the activity value

See Also:

getActivity(java.lang.Object)

setPhase

public void setPhase(java.lang.Object variable,
                     boolean value)

Sets the prioritized phase of the specified variable.

Parameters:

variable - the specific variable

value - the prioritized phase

See Also:

getPhase(java.lang.Object)

getActivity

public double getActivity(java.lang.Object variable)

Returns the activity of a variable.

Parameters:

variable - the variable

Returns:

the activity

See Also:

setActivity(java.lang.Object, double)

getPhase

public boolean getPhase(java.lang.Object variable)

Returns the prioritized phase of a variable.

Parameters:

variable - the variable

Returns:

the prioritized phase

See Also:

setPhase(java.lang.Object, boolean)

getActivityEntrySet

public java.util.Set<java.util.Map.Entry<java.lang.Object,java.lang.Double>> getActivityEntrySet()

Returns the entry set of the activities.

Returns:

the entry set of the activities

getPhaseEntrySet

public java.util.Set<java.util.Map.Entry<java.lang.Object,java.lang.Boolean>> getPhaseEntrySet()

Returns the entry set of the phases.

Returns:

the entry set of the phases