Package com.artelys.kalis

Class KNumXEqualsYTimesC

java.lang.Object

com.artelys.kalis.KConstraint

com.artelys.kalis.KNumXEqualsYTimesC

public class KNumXEqualsYTimesC
extends KConstraint

This class creates a `X = Y * C` constraint

Example :

KNumVar X(...);
KNumVar Y(...);
// ...
problem.post(KNumXEqualsYTimesC(X, Y, 5));

Since:

2016.1

See Also:

KConstraint



Field Summary

Fields inherited from class com.artelys.kalis.KConstraint

swigCMemOwn

Constructor Summary

Constructors

Modifier	Constructor	Description
protected	KNumXEqualsYTimesC(long cPtr, boolean cMemoryOwn)
	KNumXEqualsYTimesC(KNumVar v1, KNumVar v2, double c)	Primary constructor of `v1 = v2 * c`
	KNumXEqualsYTimesC(KNumXEqualsYTimesC toCopy)	Copy constructor

Method Summary

Modifier and Type	Method	Description
void	delete()
protected void	finalize()
protected static long	getCPtr(KNumXEqualsYTimesC 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

KNumXEqualsYTimesC

protected KNumXEqualsYTimesC(long cPtr,
                             boolean cMemoryOwn)

KNumXEqualsYTimesC

public KNumXEqualsYTimesC(KNumVar v1,
                          KNumVar v2,
                          double c)

Primary constructor of `v1 = v2 * c`

Parameters:

v1 - the v1 variable

v2 - the v2 variable

c - the constant

KNumXEqualsYTimesC

public KNumXEqualsYTimesC(KNumXEqualsYTimesC toCopy)

Copy constructor

Method Detail

getCPtr

protected static long getCPtr(KNumXEqualsYTimesC obj)

finalize

protected void finalize()

Overrides:

finalize in class KConstraint

delete

public void delete()

Overrides:

delete in class KConstraint