Package com.artelys.kalis

Class KEquiv

java.lang.Object

com.artelys.kalis.KConstraint

com.artelys.kalis.KEquiv

public class KEquiv
extends KConstraint

This class creates an Equivalence on two constraints `C1 <==> C2`.

Example :

// C1     C2       C1 <==> C2
// --------------------------
// false  false    true
// false  true     false
// true   false    false
// true   true     true

KIntVar X(...);
KIntVar Y(...);
KIntVar Z(...);

problem.post( KEquiv( X <= Y + 3 , Z > 4 )  );

Since:

2016.1

See Also:

KConstraint



Field Summary

Fields inherited from class com.artelys.kalis.KConstraint

swigCMemOwn

Constructor Summary

Constructors

Modifier	Constructor	Description
protected	KEquiv(long cPtr, boolean cMemoryOwn)
	KEquiv(KConstraint c1, KConstraint c2)	Primary constructor
	KEquiv(KEquiv toCopy)	Copy constructor

Method Summary

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

KEquiv

protected KEquiv(long cPtr,
                 boolean cMemoryOwn)

KEquiv

public KEquiv(KConstraint c1,
              KConstraint c2)

Primary constructor

Parameters:

c1 - the left part constraint in c1 <==> c2

c2 - the right part constraint in c1 <==> c2

KEquiv

public KEquiv(KEquiv toCopy)

Copy constructor

Method Detail

getCPtr

protected static long getCPtr(KEquiv obj)

finalize

protected void finalize()

Overrides:

finalize in class KConstraint

delete

public void delete()

Overrides:

delete in class KConstraint