apron

Interface Var

All Superinterfaces:

java.lang.Cloneable, java.lang.Comparable<Var>, java.io.Serializable

All Known Implementing Classes:

StringVar

public interface Var
extends java.lang.Comparable<Var>, java.lang.Cloneable, java.io.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 and Description
Var	clone()
int	compareTo(Var var)

Method Detail

clone

Var clone()

compareTo

int compareTo(Var var)

Specified by:

compareTo in interface java.lang.Comparable<Var>