Uses of Class
fmrisc.ProofNavigator.PNLexer

Packages that use PNLexer

Package	Description
fmrisc.ProofNavigator

Uses of PNLexer in fmrisc.ProofNavigator

Methods in fmrisc.ProofNavigator that return PNLexer

Modifier and Type	Method and Description
static PNLexer	State.getLexer() get lexer used by proof navigator

Methods in fmrisc.ProofNavigator with parameters of type PNLexer

Modifier and Type	Method and Description
static void	State.setLexer(PNLexer lexer) set lexer used by proof navigator