fmrisc.ProofNavigator.Commands
Class Skolem

java.lang.Object
  extended byfmrisc.AST.ASTBase
      extended byfmrisc.ProofNavigator.Commands.CommandBase
          extended byfmrisc.ProofNavigator.Commands.Skolem
All Implemented Interfaces:
AST, Command

public final class Skolem
extends CommandBase


Constructor Summary
Skolem()
          create a "skolem" command
 
Method Summary
 void process()
          process command "skolem": skolemize universal formulas in goal position and existential formulas in assumption position.
 
Methods inherited from class fmrisc.ProofNavigator.Commands.CommandBase
getName, printCore
 
Methods inherited from class fmrisc.AST.ASTBase
print, printParens, toString
 
Methods inherited from class java.lang.Object
equals, getClass, hashCode, notify, notifyAll, wait, wait, wait
 
Methods inherited from interface fmrisc.AST.AST
print, printParens, toString
 

Constructor Detail

Skolem

public Skolem()
create a "skolem" command

Method Detail

process

public void process()
process command "skolem": skolemize universal formulas in goal position and existential formulas in assumption position.