FOLAtom |
DelpParser.Atom(DefeasibleLogicProgram delp,
FolSignature signature) |
private Constant |
DelpParser.createConstant(java.lang.String image,
DefeasibleLogicProgram delp,
FolSignature signature) |
void |
DelpParser.Expression(DefeasibleLogicProgram delp,
FolSignature signature) |
FolFormula |
DelpParser.Formula(FolSignature signature) |
private Token |
DelpParser.jj_consume_token(int kind) |
FolFormula |
DelpParser.Literal(DefeasibleLogicProgram delp,
FolSignature signature) |
Term |
DelpParser.Term(DefeasibleLogicProgram delp,
FolSignature signature) |
DefeasibleLogicProgram |
DelpParser.Theory(FolSignature signature) |