jtp.fol.kif
Class CNFConverter

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

All Implemented Interfaces:

CNFConverterTokenTypes

public class CNFConverter

extends antlr.TreeParser

implements CNFConverterTokenTypes

Field Summary

static String[]	_tokenNames
static antlr.collections.impl.BitSet	_tokenSet_0

Fields inherited from class antlr.TreeParser

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

Fields inherited from interface jtp.fol.kif.CNFConverterTokenTypes

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

CNFConverter()

Method Summary

void	cnf(antlr.collections.AST _t)
void	disjuncts(antlr.collections.AST _t, antlr.collections.AST vars)
void	distribute(antlr.collections.AST tgt, antlr.collections.AST src)
void	literal(antlr.collections.AST _t)
int	pushVars(antlr.collections.AST _t, boolean isUniversal)
void	sentence(antlr.collections.AST _t, boolean isUniversal, antlr.collections.AST vars)
void	symbol(antlr.collections.AST _t)
void	term(antlr.collections.AST _t)
Collection	toCNF(antlr.collections.AST in, boolean polarity)
void	variable(antlr.collections.AST _t)

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

_tokenSet_0

public static final antlr.collections.impl.BitSet _tokenSet_0

Constructor Detail

CNFConverter

public CNFConverter()

Method Detail

distribute

public void distribute(antlr.collections.AST tgt,
                       antlr.collections.AST src)

toCNF

public Collection toCNF(antlr.collections.AST in,
                        boolean polarity)
                 throws antlr.ANTLRException

antlr.ANTLRException

cnf

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

antlr.RecognitionException

sentence

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

antlr.RecognitionException

disjuncts

public final void disjuncts(antlr.collections.AST _t,
                            antlr.collections.AST vars)
                     throws antlr.RecognitionException

antlr.RecognitionException

literal

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

antlr.RecognitionException

pushVars

public final int pushVars(antlr.collections.AST _t,
                          boolean isUniversal)
                   throws antlr.RecognitionException

antlr.RecognitionException

symbol

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

antlr.RecognitionException

term

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

antlr.RecognitionException

variable

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

antlr.RecognitionException