org.opt4j.satdecoding
Class Order

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

Direct Known Subclasses:

VarOrder

public abstract class Order
extends java.lang.Object

The abstract Order is the base class for a decision strategy. Each time a variable or Literal is involved in a conflict, the offset value varInc is added to its activity. Moreover, each time a conflict occurs the offset value varInc is multiplied with the scaling value varDecay.

Field Summary

protected double	varDecay
protected double	varInc

Constructor Summary

Order()
Constructs an Order.

Method Summary

double	getVarDecay() Returns the scaling factor for the offset value.
double	getVarInc() Returns the initial offset value.
void	setVarDecay(double varDecay) Sets the scaling factor for the offset value.
void	setVarInc(double varInc) Sets the initial offset value.

Methods inherited from class java.lang.Object

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

Field Detail

varInc

protected double varInc

varDecay

protected double varDecay

Constructor Detail

Order

public Order()

Constructs an Order.

Method Detail

getVarDecay

public double getVarDecay()

Returns the scaling factor for the offset value.

Returns:

the scaling factor for the offset value

See Also:

setVarDecay(double)

setVarDecay

public void setVarDecay(double varDecay)

Sets the scaling factor for the offset value.

Parameters:

varDecay - the scaling factor for the offset value to set

See Also:

getVarDecay()

getVarInc

public double getVarInc()

Returns the initial offset value.

Returns:

the initial offset value

See Also:

setVarInc(double)

setVarInc

public void setVarInc(double varInc)

Sets the initial offset value.

Parameters:

varInc - the initial offset value to set

See Also:

getVarInc()