Package org.jacop.floats.constraints

Class Derivative

java.lang.Object

org.jacop.floats.constraints.Derivative

public class Derivative
extends java.lang.Object

Derivative for float constraints

The derivative of f with respect to x

Version:

4.8

Field Summary

Fields

Modifier and Type	Field	Description
(package private) static java.util.Map<FloatVar,Constraint>	definitionConstraint
(package private) static java.util.Set<Constraint>	derivateConstraints
(package private) static java.util.Stack<Constraint>	eval
static double	MAX_FLOAT
static double	MIN_FLOAT
(package private) static Store	store

Constructor Summary

Constructors

Constructor	Description
Derivative()

Method Summary

Modifier and Type	Method	Description
static void	defineConstraint(FloatVar f, Constraint c)
static java.util.Set<Constraint>	derivativeConstraints()
static FloatVar	getDerivative(Store store, FloatVar f, java.util.Set<FloatVar> vars, FloatVar x)
static void	init(Store s)
static int	numberDerivativeConstraints()
(package private) static void	poseDerivativeConstraint(Constraint c)
(package private) static Constraint	resolveConstraint(FloatVar f, java.util.List<Constraint> cs)

Methods inherited from class java.lang.Object

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

Field Detail

MIN_FLOAT

public static final double MIN_FLOAT

See Also:

Constant Field Values

MAX_FLOAT

public static final double MAX_FLOAT

See Also:

Constant Field Values

eval

static java.util.Stack<Constraint> eval

derivateConstraints

static java.util.Set<Constraint> derivateConstraints

definitionConstraint

static java.util.Map<FloatVar,Constraint> definitionConstraint

store

static Store store

Constructor Detail

Derivative

public Derivative()

Method Detail

init

public static void init(Store s)

getDerivative

public static final FloatVar getDerivative(Store store,
                                           FloatVar f,
                                           java.util.Set<FloatVar> vars,
                                           FloatVar x)

poseDerivativeConstraint

static final void poseDerivativeConstraint(Constraint c)

resolveConstraint

static Constraint resolveConstraint(FloatVar f,
                                    java.util.List<Constraint> cs)

defineConstraint

public static void defineConstraint(FloatVar f,
                                    Constraint c)

numberDerivativeConstraints

public static final int numberDerivativeConstraints()

derivativeConstraints

public static final java.util.Set<Constraint> derivativeConstraints()