choco.palm.integer
Interface ExplainedIntDomain

All Superinterfaces:

Entity, ExplainedDomain, IntDomain

All Known Subinterfaces:

PalmIntDomain

All Known Implementing Classes:

JumpBitSetIntDomain, JumpIntervalIntDomain, PalmBitSetIntDomain, PalmIntervalIntDomain

public interface ExplainedIntDomain
extends ExplainedDomain, IntDomain

Field Summary

static int	DOM
static int	INF
static int	SUP
static int	VAL

Method Summary

int[]	getAllValues() Returns all the value currently in the domain.
boolean	removeVal(int value, int idx, Explanation e)
void	self_explain(int select, int x, Explanation expl)
boolean	updateInf(int x, int idx, Explanation e)
boolean	updateSup(int x, int idx, Explanation e)

Methods inherited from interface choco.palm.ExplainedDomain

getOriginalInf, getOriginalSup, self_explain

Methods inherited from interface choco.integer.var.IntDomain

clearDeltaDomain, contains, freezeDeltaDomain, getDeltaIterator, getInf, getIterator, getNextValue, getPrevValue, getRandomValue, getReleasedDeltaDomain, getSize, getSup, hasNextValue, hasPrevValue, isEnumerated, releaseDeltaDomain, remove, restrict, updateInf, updateSup

Methods inherited from interface choco.Entity

getProblem, pretty

Field Detail

DOM

static final int DOM

See Also:

Constant Field Values

INF

static final int INF

See Also:

Constant Field Values

SUP

static final int SUP

See Also:

Constant Field Values

VAL

static final int VAL

See Also:

Constant Field Values

Method Detail

self_explain

void self_explain(int select,
                  int x,
                  Explanation expl)

updateInf

boolean updateInf(int x,
                  int idx,
                  Explanation e)
                  throws ContradictionException

Throws:

ContradictionException

updateSup

boolean updateSup(int x,
                  int idx,
                  Explanation e)
                  throws ContradictionException

Throws:

ContradictionException

removeVal

boolean removeVal(int value,
                  int idx,
                  Explanation e)
                  throws ContradictionException

Throws:

ContradictionException

getAllValues

int[] getAllValues()

Returns all the value currently in the domain.