Package | Description |
---|---|
fmrisc.ProgramExplorer.Proving | |
fmrisc.ProgramExplorer.Tasks |
Modifier and Type | Method and Description |
---|---|
ClassicalProblem |
StateProblem.classicalProblem()
Translate the task into a predicate logic proving task.
|
Modifier and Type | Method and Description |
---|---|
static ProofNavigatorProblem |
ProofNavigator.translate(ClassicalProblem task,
java.io.File dir,
ErrorStream out)
Translate classical problem to RISC ProofNavigator Problem
|
Modifier and Type | Method and Description |
---|---|
ClassicalProblem |
ClassicalTask.classicalProblem()
Translate task into a classical proving problem
|
ClassicalProblem |
StateTaskBase.classicalProblem()
Translate task into a proving problem in classical logic.
|
ClassicalProblem |
FormulaTask.classicalProblem()
Translate task into a classical proving problem
|