org.sat4j.csp

Interface Domain

All Known Implementing Classes:

EnumeratedDomain, RangeDomain, SingletonDomain

public interface Domain

Method Summary

Methods

Modifier and Type	Method and Description
int	get(int i)
org.sat4j.specs.IteratorInt	iterator()
int	pos(int value)
int	size()

Method Detail

get

int get(int i)

size

int size()

pos

int pos(int value)

iterator

org.sat4j.specs.IteratorInt iterator()