Package com.artelys.kalis

Class KNumLinComb

java.lang.Object

com.artelys.kalis.KConstraint

com.artelys.kalis.KNumLinComb

public class KNumLinComb
extends KConstraint

This class creates a Sum(ai.Xi) { <= , != , == } C constraint

Example :

KNumVarArray X(...);
//...
problem.post(2 * X[1] + 3 * X[2] + 5 * X[3] + ... + 7 * X[n] == 3);
// or
problem.post(2 * X[1] + 3 * X[2] + 5 * X[3] + ... + 7 * X[n] <= 3);
// or
problem.post(2 * X[1] + 3 * X[2] + 5 * X[3] + ... + 7 * X[n] >= 3);
// or
problem.post(2 * X[1] + 3 * X[2] + 5 * X[3] + ... + 7 * X[n] != 3);

Since:

2016.1

See Also:

KConstraint



Nested Class Summary

Nested Classes

Modifier and Type	Class	Description
static class	KNumLinComb.LinCombOperator

Field Summary

Fields inherited from class com.artelys.kalis.KConstraint

swigCMemOwn

Constructor Summary

Constructors

Modifier	Constructor	Description
protected	KNumLinComb(long cPtr, boolean cMemoryOwn)
	KNumLinComb(KNumLinComb toCopy)	Copy Constructor
	KNumLinComb(java.lang.String name, KDoubleArray coeffs, KNumVarArray vars, double cste, int linCombOperator)	Primary Constructor

Method Summary

Modifier and Type	Method	Description
void	delete()
protected void	finalize()
com.artelys.kalis.SWIGTYPE_p_void	getConstraintIPtr()
protected static long	getCPtr(KNumLinComb 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

KNumLinComb

protected KNumLinComb(long cPtr,
                      boolean cMemoryOwn)

KNumLinComb

public KNumLinComb(java.lang.String name,
                   KDoubleArray coeffs,
                   KNumVarArray vars,
                   double cste,
                   int linCombOperator)

Primary Constructor

Parameters:

name - name of the constraint

coeffs - array of coefficients for the variables in the linear combination

vars - array of variables involved in the linear combination

cste - constant in the linear combination

linCombOperator - operator of the linear constraint {<>,<=,>=,==}

KNumLinComb

public KNumLinComb(KNumLinComb toCopy)

Copy Constructor

Method Detail

getCPtr

protected static long getCPtr(KNumLinComb 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()