Package com.artelys.kalis

Class KMax

java.lang.Object

com.artelys.kalis.KConstraint

com.artelys.kalis.KMax

public class KMax
extends KConstraint

This class creates a vMax = max(X1,X2,...,Xn) constraint

Example :

KIntVarArray X(...);
KIntVar maxOfX(...);
// ...
problem.post(KMax("maxOfX=max(X)", maxOfX, X));

Since:

2016.1

See Also:

KConstraint



Field Summary

Fields inherited from class com.artelys.kalis.KConstraint

swigCMemOwn

Constructor Summary

Constructors

Modifier	Constructor	Description
protected	KMax(long cPtr, boolean cMemoryOwn)
	KMax(KMax toCopy)	Copy Constructor
	KMax(java.lang.String name, KIntVar vMax, KIntVarArray vars)	Primary constructor of vMax = max(X1,X2,...,Xn)
	KMax(java.lang.String name, KIntVar vMax, KIntVarArray vars, boolean boundConsistency)	Primary constructor of vMax = max(X1,X2,...,Xn)
	KMax(java.lang.String name, KNumVar vMax, KNumVarArray vars)	Primary constructor of vMax = max(X1,X2,...,Xn)

Method Summary

Modifier and Type	Method	Description
void	delete()
protected void	finalize()
com.artelys.kalis.SWIGTYPE_p_void	getConstraintIPtr()
protected static long	getCPtr(KMax obj)

Methods inherited from class com.artelys.kalis.KConstraint

askIfEntailed, getArity, getCopyPtr, getCPtr, getInstance, getInstanceCopyPtr, getLinearRelaxation, getLinearRelaxation, getName, getPriority, getProblem, getTag, getTypeInfo, isGetLinearRelaxationImplemented, print, print, setName, setPriority, setTag

Methods inherited from class java.lang.Object

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

Constructor Detail

KMax

protected KMax(long cPtr,
               boolean cMemoryOwn)

KMax

public KMax(java.lang.String name,
            KIntVar vMax,
            KIntVarArray vars,
            boolean boundConsistency)

Primary constructor of vMax = max(X1,X2,...,Xn)

Parameters:

vMax - variable to be the max of vars

vars - variable array whose maximum is seeked

KMax

public KMax(java.lang.String name,
            KIntVar vMax,
            KIntVarArray vars)

Primary constructor of vMax = max(X1,X2,...,Xn)

Parameters:

vMax - variable to be the max of vars

vars - variable array whose maximum is seeked

KMax

public KMax(java.lang.String name,
            KNumVar vMax,
            KNumVarArray vars)

Primary constructor of vMax = max(X1,X2,...,Xn)

Parameters:

vMax - variable to be the max of vars

vars - variable array whose maximum is seeked

KMax

public KMax(KMax toCopy)

Copy Constructor

Method Detail

getCPtr

protected static long getCPtr(KMax obj)

finalize

protected void finalize()

Overrides:

finalize in class KConstraint

delete

public void delete()

Overrides:

delete in class KConstraint

getConstraintIPtr

public com.artelys.kalis.SWIGTYPE_p_void getConstraintIPtr()