choco.palm.real
Interface PalmRealInterval

All Superinterfaces:

RealInterval

All Known Subinterfaces:

PalmRealDomain, PalmRealVar

All Known Implementing Classes:

AbstractPalmRealBinTerm, AbstractPalmRealUnTerm, PalmRealDomainImpl, PalmRealIntervalConstant, PalmRealMinus, PalmRealMult, PalmRealPlus, PalmRealVarImpl

public interface PalmRealInterval
extends RealInterval

Interface of a real interval in PaLM.

Field Summary

static int	DOM Constant for selecting all domain when asking explanations.
static int	INF Constant for selecting lower bound when asking explanations.
static int	SUP Constant for selecting upper bound when asking explanations.

Method Summary

void	self_explain(int select, Explanation e) Merge explanation of the specified part of the domain to a constraint collection.

Methods inherited from interface choco.real.RealInterval

getInf, getSup, intersect, intersect

Field Detail

DOM

static final int DOM

Constant for selecting all domain when asking explanations.

See Also:

Constant Field Values

INF

static final int INF

Constant for selecting lower bound when asking explanations.

See Also:

Constant Field Values

SUP

static final int SUP

Constant for selecting upper bound when asking explanations.

See Also:

Constant Field Values

Method Detail

self_explain

void self_explain(int select,
                  Explanation e)

Merge explanation of the specified part of the domain to a constraint collection.