org.chocosolver.solver.constraints.ternary

Class Max

java.lang.Object

org.chocosolver.solver.constraints.Constraint

org.chocosolver.solver.constraints.ternary.Max

All Implemented Interfaces:

Serializable

public class Max
extends Constraint

X = MAX(Y,Z)

Since:

19/04/11

Author:

Charles Prud'homme

See Also:

Serialized Form

Field Summary

Fields inherited from class org.chocosolver.solver.constraints.Constraint

name, propagators

Constructor Summary

Constructors

Constructor and Description
Max(IntVar X, IntVar Y, IntVar Z)

Method Summary

Methods

Modifier and Type	Method and Description
static IntVar	var(IntVar a, IntVar b)

Methods inherited from class org.chocosolver.solver.constraints.Constraint

computeMaxPriority, duplicate, getName, getOpposite, getPropagator, getPropagators, isReified, isSatisfied, makeOpposite, reif, reifyWith, setName, toString

Methods inherited from class java.lang.Object

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

Constructor Detail

Max

public Max(IntVar X,
   IntVar Y,
   IntVar Z)

Method Detail

var

public static IntVar var(IntVar a,
         IntVar b)