org.sat4j.csp
Class SingletonDomain

java.lang.Object
  extended by org.sat4j.csp.SingletonDomain
All Implemented Interfaces:
Domain

public class SingletonDomain
extends java.lang.Object
implements Domain

Represents a domain with a single value.

Author:
leberre

Constructor Summary
SingletonDomain(int v)
           
 
Method Summary
 int get(int i)
           
 IteratorInt iterator()
           
 int pos(int theValue)
           
 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 IteratorInt iterator()
Specified by:
iterator in interface Domain

pos

public int pos(int theValue)
Specified by:
pos in interface Domain


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