org.sat4j.reader.csp
Class SingletonDomain

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

All Implemented Interfaces:

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

public class SingletonDomain
extends java.lang.Object
implements Domain

Constructor Summary

SingletonDomain(int v)

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

SingletonDomain

public SingletonDomain(int v)

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