Module org.maxicp

Package org.maxicp.cp.engine.core

Class TriPartitionSetDomain

java.lang.Object

org.maxicp.cp.engine.core.TriPartitionSetDomain

All Implemented Interfaces:

SetDomain

public class TriPartitionSetDomain
extends Object
implements SetDomain

Constructor Summary

Constructors

Constructor	Description
TriPartitionSetDomain(StateManager sm, int n)	Creates a tripartition domain with elements {0..n-1} possible

Method Summary

Modifier and Type	Method	Description
void	exclude(int v, SetDomainListener l)
void	excludeAll(SetDomainListener l)
void	include(int v, SetDomainListener l)
void	includeAll(SetDomainListener l)
String	toString()

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Constructor Details

TriPartitionSetDomain

public TriPartitionSetDomain(StateManager sm,
 int n)

Creates a tripartition domain with elements {0..n-1} possible

Parameters:

sm - the state manager

n - the size of the tripartition

Method Details

includeAll

public void includeAll(SetDomainListener l)

Specified by:

includeAll in interface SetDomain

excludeAll

public void excludeAll(SetDomainListener l)

Specified by:

excludeAll in interface SetDomain

exclude

public void exclude(int v,
 SetDomainListener l)

Specified by:

exclude in interface SetDomain

include

public void include(int v,
 SetDomainListener l)

Specified by:

include in interface SetDomain

toString

public String toString()

Specified by:

toString in interface SetDomain

Overrides:

toString in class Object