Package com.artelys.kalis
Class KConjunction
- java.lang.Object
-
- com.artelys.kalis.KConstraint
-
- com.artelys.kalis.KConjunction
-
public class KConjunction extends KConstraint
This class creates a Binary conjunction on two constraints `C1 and C2`.
Example :
// C1 C2 C1 /\ C2 // ------------------------ // false false false // false true false // true false false // true true true KIntVar START0(...); KIntVar START1(...); // ... problem.post(START0 + 10 < 4 && START1 + 10 > 10); // or problem.post(KConjunction(START0 + 10 < 4,START1 + 10 > 10));
- Since:
- 2016.1
- See Also:
KConstraint
-
-
Field Summary
-
Fields inherited from class com.artelys.kalis.KConstraint
swigCMemOwn
-
-
Constructor Summary
Constructors Modifier Constructor Description protected
KConjunction(long cPtr, boolean cMemoryOwn)
KConjunction(KConjunction toCopy)
Copy constructorKConjunction(KConstraint c1, KConstraint c2)
Primary constructor
-
Method Summary
All Methods Static Methods Instance Methods Concrete Methods Modifier and Type Method Description void
delete()
protected void
finalize()
protected static long
getCPtr(KConjunction 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
-
-
-
-
Constructor Detail
-
KConjunction
protected KConjunction(long cPtr, boolean cMemoryOwn)
-
KConjunction
public KConjunction(KConstraint c1, KConstraint c2)
Primary constructor
- Parameters:
c1
- the first constraint of the conjunction c1 and c2c2
- the second constraint of the conjunction c1 and c2
-
KConjunction
public KConjunction(KConjunction toCopy)
Copy constructor
-
-
Method Detail
-
getCPtr
protected static long getCPtr(KConjunction obj)
-
finalize
protected void finalize()
- Overrides:
finalize
in classKConstraint
-
delete
public void delete()
- Overrides:
delete
in classKConstraint
-
-