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

Constructor Summary

Constructors

Constructor and Description
SingletonDomain(int v)

Method Summary

Methods

Modifier and Type	Method and Description
int	get(int i)
org.sat4j.specs.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 org.sat4j.specs.IteratorInt iterator()

Specified by:

iterator in interface Domain

pos

public int pos(int theValue)

Specified by:

pos in interface Domain