public class InitialDelta extends DomainHint
Modifier and Type | Field and Description |
---|---|
protected double |
_defaultDelta
default delta
|
static java.lang.String |
TYPE |
protected java.util.Map<Variable,java.lang.Double> |
VARIABLE_DELTAS
delta keyed by variable
|
LOWER_IND, UPPER_IND
Constructor and Description |
---|
InitialDelta()
Constructor
|
InitialDelta(double delta)
Primary Constructor
|
Modifier and Type | Method and Description |
---|---|
void |
addInitialDelta(Variable variable,
double delta)
add the initial delta for the specified variable
|
double[] |
getRange(Variable variable)
Get the domain for the specified variable.
|
java.lang.String |
getType()
Get the type identifier of this Hint which will be used to fetch this hint in a table of hints.
|
boolean |
hasVariable(Variable variable)
Determine if there is an entry for the variable
|
public static final java.lang.String TYPE
protected final java.util.Map<Variable,java.lang.Double> VARIABLE_DELTAS
protected final double _defaultDelta
public InitialDelta(double delta)
public InitialDelta()
public java.lang.String getType()
public boolean hasVariable(Variable variable)
hasVariable
in class DomainHint
public void addInitialDelta(Variable variable, double delta)
public double[] getRange(Variable variable)
getRange
in class DomainHint