choco.palm.real.constraints
Class PalmSplitLeft

java.lang.Object
  choco.AbstractEntity
      choco.AbstractConstraint
          choco.real.constraint.AbstractUnRealConstraint
              choco.palm.real.constraints.AbstractPalmUnRealConstraint
                  choco.palm.real.constraints.AbstractPalmSplit
                      choco.palm.real.constraints.PalmSplitLeft

All Implemented Interfaces:

Constraint, Entity, DecisionConstraint, PalmConstraint, PalmVarListener, PalmRealVarListener, SymbolicDecision, VarEventListener, Propagator, RealConstraint, RealListener, java.lang.Cloneable, java.util.EventListener

public class PalmSplitLeft
extends AbstractPalmSplit

Splits the variable domain in two sub intervals and make the variable equal the first half (the lower values).

Field Summary

Fields inherited from class choco.palm.real.constraints.AbstractPalmSplit

current, previous

Fields inherited from class choco.real.constraint.AbstractUnRealConstraint

cIdx0, v0

Fields inherited from class choco.AbstractConstraint

active, constAwakeEvent, hook, priority

Fields inherited from class choco.AbstractEntity

problem

Constructor Summary

PalmSplitLeft(RealVar var, RealInterval interval)
Creates a constraint splitting the interval to assign the variable to the first half.

Method Summary

int	getBranch() Returns the number identifying the current branch.
Constraint	negate() Returns the opposite of this constraint (that is a SplitRight constraint).

Methods inherited from class choco.palm.real.constraints.AbstractPalmSplit

addListener, awake, awakeOnInf, awakeOnRestoreInf, awakeOnRestoreSup, awakeOnSup, clone, isConsistent, isSatisfied, propagate, takeIntoAccountStatusChange, toString

Methods inherited from class choco.palm.real.constraints.AbstractPalmUnRealConstraint

updateDataStructuresOnConstraint, updateDataStructuresOnRestoreConstraint

Methods inherited from class choco.real.constraint.AbstractUnRealConstraint

assignIndices, getConstraintIdx, getNbVars, getRealVar, getRealVarNb, getVar, isCompletelyInstantiated, setConstraintIndex, setVar

Methods inherited from class choco.AbstractConstraint

awakeOnVar, connectVar, constAwake, delete, fail, getEvent, getPlugIn, getPriority, getProblem, getVarIdxInOpposite, isActive, isEntailed, isEquivalentTo, opposite, setActive, setEntailed, setPassive, setPlugIn, substituteVar

Methods inherited from class choco.AbstractEntity

pretty

Methods inherited from class java.lang.Object

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

Methods inherited from interface choco.prop.VarEventListener

isActive, setActive, setPassive

Methods inherited from interface choco.prop.VarEventListener

isActive, setActive, setPassive

Methods inherited from interface choco.prop.VarEventListener

isActive, setActive, setPassive

Methods inherited from interface choco.prop.VarEventListener

isActive, setActive, setPassive

Methods inherited from interface choco.real.constraint.RealConstraint

getRealVar, getRealVarNb

Methods inherited from interface choco.real.constraint.RealListener

getConstraintIdx, setConstraintIndex

Methods inherited from interface choco.real.constraint.RealListener

getConstraintIdx, setConstraintIndex

Constructor Detail

PalmSplitLeft

public PalmSplitLeft(RealVar var,
                     RealInterval interval)

Creates a constraint splitting the interval to assign the variable to the first half.

Method Detail

negate

public Constraint negate()

Returns the opposite of this constraint (that is a SplitRight constraint).

getBranch

public int getBranch()

Description copied from interface: DecisionConstraint

Returns the number identifying the current branch.