org.sat4j.csp
Interface Domain

All Known Implementing Classes:
EnumeratedDomain, RangeDomain, SingletonDomain

public interface Domain


Method Summary
 int get(int i)
           
 IteratorInt iterator()
           
 int pos(int value)
           
 int size()
           
 

Method Detail

get

int get(int i)

size

int size()

pos

int pos(int value)

iterator

IteratorInt iterator()


Copyright © 2012 Centre de Recherche en Informatique de Lens (CRIL). All Rights Reserved.