VarMapPair (ESCTools)

Class

Use

Tree

Index

Help

ESC/Java2
© 2003,2004,2005,2006 David Cok and Joseph Kiniry
© 2005,2006 UCD Dublin
© 2003,2004 Radboud University Nijmegen
© 1999,2000 Compaq Computer Corporation
© 1997,1998,1999 Digital Equipment Corporation
All Rights Reserved

PREV CLASS NEXT CLASS

FRAMES NO FRAMES

SUMMARY: NESTED | FIELD | CONSTR | METHOD

DETAIL: FIELD | CONSTR | METHOD

escjava.sp
Class VarMapPair

java.lang.Object
  escjava.sp.VarMapPair

public class VarMapPair
extends java.lang.Object

Field Summary
`VarMap`	`n`
`VarMap`	`x`

Constructor Summary
`VarMapPair()`

Methods inherited from class java.lang.Object

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

Field Detail

n

public VarMap n

x

public VarMap x

Constructor Detail

VarMapPair

public VarMapPair()

Overview

Package