IntegerDomainIntevals (Sugar version 2.3.2 Core API Specification)

java.lang.Object
- jp.kobe_u.sugar.csp.IntegerDomain
- - jp.kobe_u.sugar.csp.IntegerDomainIntevals

public class IntegerDomainIntevals
extends IntegerDomain

This class implements an integer domain class.

See Also:: CSP

Field Summary

Fields
Modifier and Type Field and Description

static int MAX_SET_SIZE
- Fields inherited from class jp.kobe_u.sugar.csp.IntegerDomain
  USE_DIET_DOMAIN

Fields
Modifier and Type	Field and Description
`static int`	`MAX_SET_SIZE`

Constructor Summary

Constructors
Constructor and Description
`IntegerDomainIntevals(IntegerDomainIntevals d)`
`IntegerDomainIntevals(int lb, int ub)`
`IntegerDomainIntevals(java.util.SortedSet<java.lang.Integer> domain)`

Method Summary

All Methods Instance Methods Concrete Methods
Modifier and Type	Method and Description
`IntegerDomain`	`abs()`
`IntegerDomain`	`add(IntegerDomain domain)`
`IntegerDomain`	`add(IntegerDomainIntevals d)`
`IntegerDomain`	`bound(int lb0, int ub0)`
`IntegerDomain`	`cap(IntegerDomain domain)`
`IntegerDomain`	`cap(IntegerDomainIntevals d1)`
`boolean`	`contains(int value)`
`IntegerDomain`	`cup(IntegerDomain domain)`
`IntegerDomain`	`cup(IntegerDomainIntevals d1)`
`IntegerDomain`	`div(int a)`
`IntegerDomain`	`div(IntegerDomain domain)`
`IntegerDomain`	`div(IntegerDomainIntevals d)`
`int`	`getLowerBound()`
`int`	`getUpperBound()`
`java.util.Iterator<int[]>`	`intervals()`
`IntegerDomain`	`max(IntegerDomain domain)`
`IntegerDomain`	`max(IntegerDomainIntevals d)`
`IntegerDomain`	`min(IntegerDomain domain)`
`IntegerDomain`	`min(IntegerDomainIntevals d)`
`IntegerDomain`	`mod(int a)`
`IntegerDomain`	`mod(IntegerDomain domain)`
`IntegerDomain`	`mod(IntegerDomainIntevals d)`
`IntegerDomain`	`mul(int a)`
`IntegerDomain`	`mul(IntegerDomain domain)`
`IntegerDomain`	`mul(IntegerDomainIntevals d)`
`IntegerDomain`	`neg()`
`IntegerDomain`	`pow(int a)`
`int`	`size()`
`int`	`sizeLE(int value)`
`IntegerDomain`	`sub(IntegerDomain domain)`
`IntegerDomain`	`sub(IntegerDomainIntevals d)`
`java.util.Iterator<java.lang.Integer>`	`values()`
`java.util.Iterator<java.lang.Integer>`	`values(int lb, int ub)`

Methods inherited from class jp.kobe_u.sugar.csp.IntegerDomain
appendValues, create, create, isEmpty, toString

Methods inherited from class java.lang.Object
equals, getClass, hashCode, notify, notifyAll, wait, wait, wait

Field Detail
- MAX_SET_SIZE
```
public static int MAX_SET_SIZE
```

Constructor Detail

IntegerDomainIntevals

public IntegerDomainIntevals(int lb,
                             int ub)
                      throws SugarException

Throws:: SugarException

IntegerDomainIntevals

public IntegerDomainIntevals(java.util.SortedSet<java.lang.Integer> domain)

IntegerDomainIntevals

public IntegerDomainIntevals(IntegerDomainIntevals d)

Method Detail

size
```
public int size()
```
Specified by:

size in class IntegerDomain

getLowerBound
```
public int getLowerBound()
```
Specified by:

getLowerBound in class IntegerDomain

getUpperBound
```
public int getUpperBound()
```
Specified by:

getUpperBound in class IntegerDomain

contains
```
public boolean contains(int value)
```
Specified by:

contains in class IntegerDomain

sizeLE
```
public int sizeLE(int value)
```
Specified by:

sizeLE in class IntegerDomain

bound

public IntegerDomain bound(int lb0,
                           int ub0)
                    throws SugarException

Specified by:: bound in class IntegerDomain
Throws:: SugarException

values

public java.util.Iterator<java.lang.Integer> values(int lb,
                                                    int ub)

Specified by:: values in class IntegerDomain

values

public java.util.Iterator<java.lang.Integer> values()

Specified by:: values in class IntegerDomain

intervals
```
public java.util.Iterator<int[]> intervals()
```
Specified by:

intervals in class IntegerDomain

cap

public IntegerDomain cap(IntegerDomainIntevals d1)
                  throws SugarException

Throws:: SugarException

cup

public IntegerDomain cup(IntegerDomainIntevals d1)
                  throws SugarException

Throws:: SugarException

neg

public IntegerDomain neg()
                  throws SugarException

Specified by:: neg in class IntegerDomain
Throws:: SugarException

abs

public IntegerDomain abs()
                  throws SugarException

Specified by:: abs in class IntegerDomain
Throws:: SugarException

add

public IntegerDomain add(IntegerDomainIntevals d)
                  throws SugarException

Throws:: SugarException

sub

public IntegerDomain sub(IntegerDomainIntevals d)
                  throws SugarException

Throws:: SugarException

mul

public IntegerDomain mul(int a)
                  throws SugarException

Specified by:: mul in class IntegerDomain
Throws:: SugarException

mul

public IntegerDomain mul(IntegerDomainIntevals d)
                  throws SugarException

Throws:: SugarException

div

public IntegerDomain div(int a)
                  throws SugarException

Specified by:: div in class IntegerDomain
Throws:: SugarException

div

public IntegerDomain div(IntegerDomainIntevals d)
                  throws SugarException

Throws:: SugarException

mod

public IntegerDomain mod(int a)
                  throws SugarException

Throws:: SugarException

mod

public IntegerDomain mod(IntegerDomainIntevals d)
                  throws SugarException

Throws:: SugarException

pow

public IntegerDomain pow(int a)
                  throws SugarException

Throws:: SugarException

min

public IntegerDomain min(IntegerDomainIntevals d)
                  throws SugarException

Throws:: SugarException

max

public IntegerDomain max(IntegerDomainIntevals d)
                  throws SugarException

Throws:: SugarException

cup

public IntegerDomain cup(IntegerDomain domain)
                  throws SugarException

Specified by:: cup in class IntegerDomain
Throws:: SugarException

cap

public IntegerDomain cap(IntegerDomain domain)
                  throws SugarException

Specified by:: cap in class IntegerDomain
Throws:: SugarException

add

public IntegerDomain add(IntegerDomain domain)
                  throws SugarException

Specified by:: add in class IntegerDomain
Throws:: SugarException

sub

public IntegerDomain sub(IntegerDomain domain)
                  throws SugarException

Specified by:: sub in class IntegerDomain
Throws:: SugarException

mul

public IntegerDomain mul(IntegerDomain domain)
                  throws SugarException

Specified by:: mul in class IntegerDomain
Throws:: SugarException

div

public IntegerDomain div(IntegerDomain domain)
                  throws SugarException

Specified by:: div in class IntegerDomain
Throws:: SugarException

mod

public IntegerDomain mod(IntegerDomain domain)
                  throws SugarException

Specified by:: mod in class IntegerDomain
Throws:: SugarException

min

public IntegerDomain min(IntegerDomain domain)
                  throws SugarException

Specified by:: min in class IntegerDomain
Throws:: SugarException

max

public IntegerDomain max(IntegerDomain domain)
                  throws SugarException

Specified by:: max in class IntegerDomain
Throws:: SugarException

Class IntegerDomainIntevals

Field Summary

Fields inherited from class jp.kobe_u.sugar.csp.IntegerDomain

Constructor Summary

Method Summary

Methods inherited from class jp.kobe_u.sugar.csp.IntegerDomain

Methods inherited from class java.lang.Object

Field Detail

MAX_SET_SIZE

Constructor Detail

IntegerDomainIntevals

IntegerDomainIntevals

IntegerDomainIntevals

Method Detail

size

getLowerBound

getUpperBound

contains

sizeLE

bound

values

values

intervals

cap

cup

neg

abs

add

sub

mul

mul

div

div

mod

mod

pow

min

max

cup

cap

add

sub

mul

div

mod

min

max