edu.uiowa.cs.clc.kind2.results

Class SubRange

java.lang.Object

edu.uiowa.cs.clc.kind2.results.Type

edu.uiowa.cs.clc.kind2.results.SubRange

public class SubRange
extends Type

Kind2 type for subranges.

Field Summary

Fields inherited from class edu.uiowa.cs.clc.kind2.results.Type

name

Constructor Summary

Constructors

Constructor and Description
SubRange(int min, int max)

Method Summary

Modifier and Type	Method and Description
int	getMax()
int	getMin()

Methods inherited from class edu.uiowa.cs.clc.kind2.results.Type

getType, toString

Methods inherited from class java.lang.Object

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

Constructor Detail

SubRange

public SubRange(int min,
                int max)

Method Detail

getMin

public int getMin()

Returns:

the min value of the subrange.

getMax

public int getMax()

Returns:

the maximum value of the subrange.