choco.palm.real.constraints
Class PalmSplitRight

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.PalmSplitRight

All Implemented Interfaces:

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

public class PalmSplitRight
extends AbstractPalmSplit

Splits the variable domain in two sub intervals and make the variable equal the second half (the upper 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

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

Method Summary

int	getBranch() Returns the number identifying the current branch.
Constraint	negate() Returns the opposite of this constraint (that is a SplitLeft 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

PalmSplitRight

public PalmSplitRight(RealVar var,
                      RealInterval interval)

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

Method Detail

negate

public Constraint negate()

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

getBranch

public int getBranch()

Description copied from interface: DecisionConstraint

Returns the number identifying the current branch.