edu.uiowa.cs.clc.kind2.lustre

Class Program

java.lang.Object

edu.uiowa.cs.clc.kind2.lustre.Program

public class Program
extends java.lang.Object

This class represents a lustre program. In Kind 2, a lustre program consists of:

• Type definitions
• Constant definitions
• Imported functions
• Imported nodes
• Contracts
• Functions
• Nodes

Method Summary

Modifier and Type	Method and Description
java.lang.String	toString()

Methods inherited from class java.lang.Object

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

Method Detail

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object