Module org.chocosolver

Package org.chocosolver.solver.constraints.nary.alldifferent.conditions

Interface Condition

public interface Condition

A condition over integer variables

Field Summary

Fields

Modifier and Type	Field	Description
static Condition	EXCEPT_0	Satisfied iff the variable cannot take value 0
static Condition	TRUE	True condition, always satisfied

Method Summary

Modifier and Type	Method	Description
boolean	holdOnVar(IntVar x)

Field Detail

TRUE

static final Condition TRUE

True condition, always satisfied

EXCEPT_0

static final Condition EXCEPT_0

Satisfied iff the variable cannot take value 0

Method Detail

holdOnVar

boolean holdOnVar(IntVar x)

Parameters:

x - an Integer Variable

Returns:

true iff x satisfies this condition