jtp.fol.kif
Class Simplifier

java.lang.Object
  |
  +--antlr.TreeParser
        |
        +--jtp.fol.kif.Simplifier

All Implemented Interfaces:

SimplifierTokenTypes

public class Simplifier

extends antlr.TreeParser

implements SimplifierTokenTypes

Field Summary

static String[]

_tokenNames

Fields inherited from class antlr.TreeParser

_retTree, astFactory, ASTNULL, inputState, returnAST, tokenNames, traceDepth

Fields inherited from interface jtp.fol.kif.SimplifierTokenTypes

And, BIG_COMMENT, CompositeSentence, Defequals, Deffunction, Defimpleft, Defimpright, Defobject, Defrelation, Digit, EOF, Equiv, Exists, FLOAT, Forall, Func, GoodChar, IGNORE, Impleft, Impright, INTEGER, Kb, LINE_COMMENT, LPAREN, Not, NULL_TREE_LOOKAHEAD, Number, Or, PACKAGE_SYMBOL, PackageSign, Quote, RelSentence, RPAREN, SExp, STRING, SYMBOL, SymbolWithoutPackage, VARIABLE, Vars, WS

Constructor Summary

Simplifier()

Method Summary

void	connective(antlr.collections.AST _t, boolean polarity)
void	equiv(antlr.collections.AST _t)
void	leftImp(antlr.collections.AST _t)
void	literal(antlr.collections.AST _t, boolean polarity)
void	quantifier(antlr.collections.AST _t, boolean polarity)
void	quantSent(antlr.collections.AST _t, boolean polarity)
void	rightImp(antlr.collections.AST _t)
void	sentence(antlr.collections.AST _t, boolean polarity)
antlr.collections.AST	simplify(antlr.collections.AST _t, boolean polarity)

Methods inherited from class antlr.TreeParser

getAST, getASTFactory, getTokenName, getTokenNames, match, match, matchNot, panic, reportError, reportError, reportWarning, setASTFactory, setASTNodeClass, setASTNodeType, traceIn, traceIndent, traceOut

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Field Detail

_tokenNames

public static final String[] _tokenNames

Constructor Detail

Simplifier

public Simplifier()

Method Detail

simplify

public final antlr.collections.AST simplify(antlr.collections.AST _t,
                                            boolean polarity)
                                     throws antlr.RecognitionException

antlr.RecognitionException

sentence

public final void sentence(antlr.collections.AST _t,
                           boolean polarity)
                    throws antlr.RecognitionException

antlr.RecognitionException

leftImp

public final void leftImp(antlr.collections.AST _t)
                   throws antlr.RecognitionException

antlr.RecognitionException

rightImp

public final void rightImp(antlr.collections.AST _t)
                    throws antlr.RecognitionException

antlr.RecognitionException

equiv

public final void equiv(antlr.collections.AST _t)
                 throws antlr.RecognitionException

antlr.RecognitionException

connective

public final void connective(antlr.collections.AST _t,
                             boolean polarity)
                      throws antlr.RecognitionException

antlr.RecognitionException

quantifier

public final void quantifier(antlr.collections.AST _t,
                             boolean polarity)
                      throws antlr.RecognitionException

antlr.RecognitionException

quantSent

public final void quantSent(antlr.collections.AST _t,
                            boolean polarity)
                     throws antlr.RecognitionException

antlr.RecognitionException

literal

public final void literal(antlr.collections.AST _t,
                          boolean polarity)
                   throws antlr.RecognitionException

antlr.RecognitionException