Uses of Class
fmrisc.ProgramExplorer.Proving.ProofNavigatorProblem

Packages that use ProofNavigatorProblem

Package	Description
fmrisc.ProgramExplorer.Proving
fmrisc.ProgramExplorer.Tasks

Uses of ProofNavigatorProblem in fmrisc.ProgramExplorer.Proving

Methods in fmrisc.ProgramExplorer.Proving that return ProofNavigatorProblem

Modifier and Type	Method and Description
ProofNavigatorProblem	ClassicalProblem.proofNavigatorProblem(java.io.File dir) Translate classical problem to RISC ProofNavigator Problem
static ProofNavigatorProblem	ProofNavigator.translate(ClassicalProblem task, java.io.File dir, ErrorStream out) Translate classical problem to RISC ProofNavigator Problem

Uses of ProofNavigatorProblem in fmrisc.ProgramExplorer.Tasks

Methods in fmrisc.ProgramExplorer.Tasks that return ProofNavigatorProblem

Modifier and Type	Method and Description
ProofNavigatorProblem	ClassicalTaskBase.proofNavigatorProblem() Translate task into a problem for the RISC ProofNavigator.
ProofNavigatorProblem	ProofNavigatorTask.proofNavigatorProblem() Translate task into a problem for the RISC ProofNavigator.