Package apron

Interface Var

All Superinterfaces:
Cloneable, Comparable<Var>, Serializable
All Known Implementing Classes:
StringVar
public interface Var extends Comparable<Var>, Cloneable, Serializable

Abstract class for Variables for level 1.

Variables need to implement Comparable to ensure a total ordering in the envirnment, and all labels in an environment are of type Var

  • Method Summary

    Modifier and Type
    Method
    Description
    Var
    clone()
     
    int
    compareTo(Var var)