de.stups.probkodkod

Class IntegerIntervall

java.lang.Object

de.stups.probkodkod.IntegerIntervall

public class IntegerIntervall
extends java.lang.Object

Stores an integer interval by its upper and lower bound.

Constructor Summary

Constructors

Constructor and Description
IntegerIntervall(int lower, int upper)

Method Summary

Methods

Modifier and Type	Method and Description
boolean	contains(int value)
int	getLower()
int	getSize()
int	getUpper()
java.lang.String	toString()

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Constructor Detail

IntegerIntervall

public IntegerIntervall(int lower,
                int upper)

Method Detail

getLower

public int getLower()

getUpper

public int getUpper()

getSize

public int getSize()

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object

contains

public boolean contains(int value)