QuantifierClassPair Class Reference

Public Methods
	QuantifierClassPair (String c, String f)
String	getClassName ()
String	getFieldName ()
String	toString ()
Private Attributes
String	field
String	cls

Detailed Description

Pairing class and quantifier name. Creation date: (8/9/01 6:46:39 PM) @author: Roby Joehanes

Definition at line 40 of file QuantifierClassPair.java.

The documentation for this class was generated from the following file:

Generated at Thu Feb 7 07:20:58 2002 for Bandera by