org.sat4j.csp
Class SingletonDomain
java.lang.Object
org.sat4j.csp.SingletonDomain
- All Implemented Interfaces:
- Domain
public class SingletonDomain
- extends Object
- implements Domain
Represents a domain with a single value.
- Author:
- leberre
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
SingletonDomain
public SingletonDomain(int v)
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 © 2011 Centre de Recherche en Informatique de Lens (CRIL). All Rights Reserved.