org.sat4j.reader.csp
Class EnumeratedDomain

java.lang.Object
  org.sat4j.reader.csp.EnumeratedDomain

All Implemented Interfaces:

java.lang.Iterable<java.lang.Integer>, Domain

public class EnumeratedDomain
extends java.lang.Object
implements Domain

Constructor Summary

EnumeratedDomain(int[] values)

Method Summary

int	get(int i)
java.util.Iterator<java.lang.Integer>	iterator()
int	pos(int value)
int	size()

Methods inherited from class java.lang.Object

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

Constructor Detail

EnumeratedDomain

public EnumeratedDomain(int[] values)

Method Detail

get

public int get(int i)

Specified by:

get in interface Domain

size

public int size()

Specified by:

size in interface Domain

iterator

public java.util.Iterator<java.lang.Integer> iterator()

Specified by:

iterator in interface java.lang.Iterable<java.lang.Integer>

pos

public int pos(int value)

Specified by:

pos in interface Domain