Overview  Package   Class  Use  Tree  Deprecated  Index  Help 
JIVE Platform
Release 0.2.2
 PREV CLASS   NEXT CLASS FRAMES    NO FRAMES    
SUMMARY: NESTED | FIELD | CONSTR | METHOD DETAIL: FIELD | CONSTR | METHOD

edu.bsu.cs.jive.util
Interface VariableID

public interface VariableID

Identifies a variable within a contour. This cannot be done with a simple string since a single contour may contain multiple homonymous variables within (separate) parallel contexts.

Overview  Package   Class  Use  Tree  Deprecated  Index  Help 
JIVE Platform
Release 0.2.2
 PREV CLASS   NEXT CLASS FRAMES    NO FRAMES    
SUMMARY: NESTED | FIELD | CONSTR | METHOD DETAIL: FIELD | CONSTR | METHOD