ndiff.relation
Class Interval

java.lang.Object
  ndiff.relation.Interval

public class Interval
extends java.lang.Object

Author:

schirinz Classe che mantiene le informazioni relative ad un Intervallo

Field Summary

int	inf
int	sup

Constructor Summary

Interval(int inf, int sup)
Costruttore

Method Summary

Interval	clone()
boolean	isIntro(int num) Controlla se un numero appartiene all'intervallo, estremi inclusi
void	set(Interval intRef) Imposta gli estremi dell'intervallo uguali a quelli dell'intervallo passato
void	set(int inf, int sup) Imposta gli estremi dell'intervallo
java.lang.String	show() Per fase di Debug
int	size() Ritorna la dimensione dell'intervallo

Methods inherited from class java.lang.Object

equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Field Detail

inf

public int inf

sup

public int sup

Constructor Detail

Interval

public Interval(int inf,
                int sup)

Costruttore

Parameters:

inf - Estremo inferiore

sup - Estremo superiore

Method Detail

set

public void set(int inf,
                int sup)

Imposta gli estremi dell'intervallo

Parameters:

inf - Estremo inferiore

sup - Estremo superiore

set

public void set(Interval intRef)

Imposta gli estremi dell'intervallo uguali a quelli dell'intervallo passato

Parameters:

intRef - Intervallo da cui copiare gli estremi

size

public int size()

Ritorna la dimensione dell'intervallo

Returns:

Dimensione dell'intervallo

isIntro

public boolean isIntro(int num)

Controlla se un numero appartiene all'intervallo, estremi inclusi

Parameters:

num - numero da confrontare

Returns:

true se il numero appartiene all'intervallo

clone

public Interval clone()

Overrides:

clone in class java.lang.Object

show

public java.lang.String show()

Per fase di Debug

Returns:

Stringa che esplicita il contenuto dell'intervallo