Overview  Package  Class   Use  Tree  Deprecated  Index  Help 
 PREV   NEXT FRAMES    NO FRAMES    

Uses of Class
fmrisc.Syntax.UniqueNameTable

Packages that use UniqueNameTable
fmrisc.Proving   
fmrisc.Syntax   
 

Uses of UniqueNameTable in fmrisc.Proving
 

Methods in fmrisc.Proving that return UniqueNameTable
 UniqueNameTable ProofState.getSkolemTable()
          Get unique name table to be used for creating skolemization constants.
 

Uses of UniqueNameTable in fmrisc.Syntax
 

Methods in fmrisc.Syntax with parameters of type UniqueNameTable
 void ValueDeclIdentifier.makeNameUnique(UniqueNameTable table)
          Replace name of identifier by unique name derived from table.
 

Overview  Package  Class   Use  Tree  Deprecated  Index  Help 
 PREV   NEXT FRAMES    NO FRAMES