org.sat4j.reader.csp
Class RangeDomain

java.lang.Object
  extended by org.sat4j.reader.csp.RangeDomain
All Implemented Interfaces:
java.lang.Iterable<java.lang.Integer>, Domain

public class RangeDomain
extends java.lang.Object
implements Domain


Constructor Summary
RangeDomain(int begin, int end)
           
 
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

RangeDomain

public RangeDomain(int begin,
                   int end)
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


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