Package com.artelys.kalis

Class KOccurrence

java.lang.Object

com.artelys.kalis.KConstraint

com.artelys.kalis.KOccurrence

public class KOccurrence
extends KConstraint

This class creates an occurence constraint of a value in a list of variables

Example :

KIntVarArray Tab(...);
KIntVar countVar(...);

problem.post( KOccurTerm(0,Tab) <= 5 );        // No more than 5 occurence of 0 in Tab
problem.post( KOccurTerm(1,Tab) < 5 );         // No more than 4 occurence of 1 in Tab
problem.post( KOccurTerm(2,Tab) >= countVar ); // No Less than countVar occurence of 2 in Tab
problem.post( KOccurTerm(3,Tab) > countVar );  // No Less than countVar occurence of 3 in Tab

Since:

2016.1

See Also:

KConstraint



Field Summary

Fields inherited from class com.artelys.kalis.KConstraint

swigCMemOwn

Constructor Summary

Constructors

Modifier	Constructor	Description
protected	KOccurrence(long cPtr, boolean cMemoryOwn)
	KOccurrence(KIntVarArray variables, KIntArray targets, int minOccur, int maxOccur)	Constructor
	KOccurrence(KOccurrence toCopy)	Copy constructor
	KOccurrence(KOccurTerm oc, int cste, boolean atLeast, boolean atMost)	Constructor
	KOccurrence(KOccurTerm oc, KIntVar v1, boolean atLeast, boolean atMost)	Constructor

Method Summary

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

KOccurrence

protected KOccurrence(long cPtr,
                      boolean cMemoryOwn)

KOccurrence

public KOccurrence(KOccurTerm oc,
                   KIntVar v1,
                   boolean atLeast,
                   boolean atMost)

Constructor

Parameters:

oc - the occurence term

v1 - the counting variable

atLeast - constrain on inf the number of occurence Yes/No

atMost - constrain on sup the number of occurence Yes/No

KOccurrence

public KOccurrence(KOccurTerm oc,
                   int cste,
                   boolean atLeast,
                   boolean atMost)

Constructor

Parameters:

oc - the occurence term

cste - the constant number of occurence

atLeast - constrain on inf the number of occurence Yes/No

atMost - constrain on sup the number of occurence Yes/No

KOccurrence

public KOccurrence(KIntVarArray variables,
                   KIntArray targets,
                   int minOccur,
                   int maxOccur)

Constructor

Parameters:

variables - the variables array

targets - the targets value to count

minOccur - minimal number of occurrences

maxOccur - maximal number of occurrences

KOccurrence

public KOccurrence(KOccurrence toCopy)

Copy constructor

Method Detail

getCPtr

protected static long getCPtr(KOccurrence obj)

finalize

protected void finalize()

Overrides:

finalize in class KConstraint

delete

public void delete()

Overrides:

delete in class KConstraint