org.sat4j.reader.csp
Interface Domain

All Superinterfaces:

java.lang.Iterable<java.lang.Integer>

All Known Implementing Classes:

EnumeratedDomain, RangeDomain, SingletonDomain

public interface Domain
extends java.lang.Iterable<java.lang.Integer>

Method Summary

int	get(int i)
int	pos(int value)
int	size()

Methods inherited from interface java.lang.Iterable

iterator

Method Detail

get

int get(int i)

size

int size()

pos

int pos(int value)