edu.uiowa.cs.clc.kind2.results

Class Real

java.lang.Object

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

edu.uiowa.cs.clc.kind2.results.Real

public class Real
extends Type

Kind2 type for rational numbers.

Field Summary

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

name

Constructor Summary

Constructors

Constructor and Description
Real()

Method Summary

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

Real

public Real()