choco.palm.integer.constraints
Class PalmAssignment

java.lang.Object
  choco.AbstractEntity
      choco.AbstractConstraint
          choco.integer.constraints.AbstractIntConstraint
              choco.integer.constraints.AbstractUnIntConstraint
                  choco.palm.integer.AbstractPalmUnIntConstraint
                      choco.palm.integer.constraints.PalmEqualXC
                          choco.palm.integer.constraints.PalmAssignment

All Implemented Interfaces:

Constraint, Entity, IntConstraint, IntVarEventListener, DecisionConstraint, PalmIntVarListener, PalmConstraint, PalmVarListener, SymbolicDecision, VarEventListener, Propagator, java.lang.Cloneable, java.lang.Comparable, java.util.EventListener

public class PalmAssignment
extends PalmEqualXC
implements DecisionConstraint, java.lang.Comparable

Created by IntelliJ IDEA. User: grochart Date: 26 ao?t 2003 Time: 10:47:40 To change this template use Options | File Templates.

Field Summary

Fields inherited from class choco.palm.integer.constraints.PalmEqualXC

cste

Fields inherited from class choco.integer.constraints.AbstractUnIntConstraint

cIdx0, v0

Fields inherited from class choco.integer.constraints.AbstractIntConstraint

logger

Fields inherited from class choco.AbstractConstraint

active, constAwakeEvent, hook, priority

Fields inherited from class choco.AbstractEntity

problem

Constructor Summary

PalmAssignment(IntDomainVar v0, int cste)

Method Summary

java.lang.Object	clone() returns a copy of the constraint.
int	compareTo(java.lang.Object o)
int	getBranch() Returns the number identifying the current branch.
Constraint	negate() Returns the negation of this enumeration constraint.

Methods inherited from class choco.palm.integer.constraints.PalmEqualXC

awakeOnInf, awakeOnRem, awakeOnRestoreVal, awakeOnSup, isEntailed, isSatisfied, propagate, toString, whyIsFalse, whyIsTrue

Methods inherited from class choco.palm.integer.AbstractPalmUnIntConstraint

awakeOnInst, awakeOnRestoreInf, awakeOnRestoreSup, awakeOnRestoreVal, getIntVar, takeIntoAccountStatusChange, updateDataStructuresOnConstraint, updateDataStructuresOnRestoreConstraint

Methods inherited from class choco.integer.constraints.AbstractUnIntConstraint

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

Methods inherited from class choco.integer.constraints.AbstractIntConstraint

awakeOnBounds, awakeOnInf, awakeOnRem, awakeOnRemovals, awakeOnSup, getSelfIndex, isConsistent

Methods inherited from class choco.AbstractConstraint

addListener, awake, awakeOnVar, connectVar, constAwake, delete, fail, getEvent, getPlugIn, getPriority, getProblem, getVarIdxInOpposite, isActive, 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

addListener, isActive, setActive, setPassive

Methods inherited from interface choco.prop.VarEventListener

addListener, isActive, setActive, setPassive

Methods inherited from interface choco.prop.VarEventListener

addListener, isActive, setActive, setPassive

Methods inherited from interface choco.prop.VarEventListener

addListener, isActive, setActive, setPassive

Methods inherited from interface choco.integer.var.IntVarEventListener

awakeOnInf, awakeOnRem, awakeOnSup, getConstraintIdx, setConstraintIndex

Constructor Detail

PalmAssignment

public PalmAssignment(IntDomainVar v0,
                      int cste)

Method Detail

clone

public java.lang.Object clone()
                       throws java.lang.CloneNotSupportedException

Description copied from interface: Constraint

returns a copy of the constraint. This copy is a new object, may be a recursive copy in case of composite constraints. The original and the copy share the same variables & plugins

Specified by:

clone in interface Constraint

Overrides:

clone in class AbstractConstraint

Returns:

Throws:

java.lang.CloneNotSupportedException

negate

public Constraint negate()

Description copied from interface: DecisionConstraint

Returns the negation of this enumeration constraint.

Specified by:

negate in interface DecisionConstraint

getBranch

public int getBranch()

Description copied from interface: DecisionConstraint

Returns the number identifying the current branch.

Specified by:

getBranch in interface DecisionConstraint

Specified by:

getBranch in interface SymbolicDecision

compareTo

public int compareTo(java.lang.Object o)

Specified by:

compareTo in interface java.lang.Comparable