Uses of Class
fmrisc.ProofNavigator.Syntax.UniqueNameTable

Packages that use UniqueNameTable

Package	Description
fmrisc.ProofNavigator.Proving
fmrisc.ProofNavigator.Syntax

Uses of UniqueNameTable in fmrisc.ProofNavigator.Proving

Methods in fmrisc.ProofNavigator.Proving that return UniqueNameTable

Modifier and Type	Method and Description
UniqueNameTable	ProofState.getSkolemTable() Get unique name table to be used for creating skolemization constants.

Uses of UniqueNameTable in fmrisc.ProofNavigator.Syntax

Methods in fmrisc.ProofNavigator.Syntax with parameters of type UniqueNameTable

Modifier and Type	Method and Description
void	ValueDeclIdentifier.makeNameUnique(UniqueNameTable table) Replace name of identifier by unique name derived from table.