Methods in ai.planning.strips with parameters of type PddlDomainAdaptor.ParsingContext |
protected static ActionType |
PddlDomainAdaptor.parseActionTypeNB(inf.compilers.LexicalAnalyzer scanner,
java.util.Properties props,
PddlDomainAdaptor.ParsingContext context)
::= ":action"
[ ] [ ]
::= ":precondition" '(' ')'
::= ":effect" '(' ')'
next token must be closing bracket! |
protected static ai.krr.fol.Atom |
PddlDomainAdaptor.parseAtomNB(inf.compilers.LexicalAnalyzer scanner,
java.util.Properties props,
PddlDomainAdaptor.ParsingContext context)
::= ( | )*
next token must be closing bracket! |
protected static java.util.Set<ai.krr.ontologies.Instance> |
PddlDomainAdaptor.parseConstantsNB(inf.compilers.LexicalAnalyzer scanner,
java.util.Properties props,
PddlDomainAdaptor.ParsingContext context)
::= ":constants" *
next token must be closing bracket! |
protected static Goal |
PddlProblemAdaptor.parseGoalNB(inf.compilers.LexicalAnalyzer scanner,
java.util.Properties props,
PddlDomainAdaptor.ParsingContext context)
::= ":goal" '(' ')'
next token must be closing bracket! |
protected static java.util.Set<ai.krr.fol.Atom> |
PddlProblemAdaptor.parseInitNB(inf.compilers.LexicalAnalyzer scanner,
java.util.Properties props,
PddlDomainAdaptor.ParsingContext context)
::= ":init" +
next token must be closing bracket! |
protected static ai.krr.fol.Literal |
PddlDomainAdaptor.parseLiteralNB(inf.compilers.LexicalAnalyzer scanner,
java.util.Properties props,
PddlDomainAdaptor.ParsingContext context)
::= | not '(' ')'
next token must be closing bracket! |
protected static java.util.List<ai.krr.fol.Literal> |
PddlDomainAdaptor.parseLiteralsNB(inf.compilers.LexicalAnalyzer scanner,
java.util.Properties props,
PddlDomainAdaptor.ParsingContext context)
::= | and *
next token must be closing bracket! |
protected static java.util.Set<ai.krr.ontologies.Instance> |
PddlProblemAdaptor.parseObjectsNB(inf.compilers.LexicalAnalyzer scanner,
java.util.Properties props,
PddlDomainAdaptor.ParsingContext context)
::= ":objects" *
next token must be closing bracket! |
protected static java.util.List<ai.krr.fol.Variable> |
PddlDomainAdaptor.parseParameters(inf.compilers.LexicalAnalyzer scanner,
java.util.Properties props,
PddlDomainAdaptor.ParsingContext context)
::= ":parameters" '(' ')' |
protected static ai.krr.fol.Atom |
PddlDomainAdaptor.parsePredicate(inf.compilers.LexicalAnalyzer scanner,
java.util.Properties props,
PddlDomainAdaptor.ParsingContext context)
::= '(' ')' |
protected static java.util.List<ai.krr.fol.Atom> |
PddlDomainAdaptor.parsePredicatesNB(inf.compilers.LexicalAnalyzer scanner,
java.util.Properties props,
PddlDomainAdaptor.ParsingContext context)
::= ":predicates" *
next token must be closing bracket! |
protected static void |
PddlDomainAdaptor.parseRequirementsNB(inf.compilers.LexicalAnalyzer scanner,
java.util.Properties props,
PddlDomainAdaptor.ParsingContext context)
::= ":requirements" +
::= ":strips" | ":typing"
next token must be closing bracket! |
protected static java.util.List<inf.util.Pair<java.util.List<ai.krr.NamedSymbol>,ai.krr.NamedSymbol>> |
PddlDomainAdaptor.parseTypedSymbolsNB(inf.compilers.LexicalAnalyzer scanner,
java.util.Properties props,
PddlDomainAdaptor.ParsingContext context)
::= ( + [ - ])*
next token must be closing bracket! |
protected static java.util.List<ai.krr.fol.Variable> |
PddlDomainAdaptor.parseTypedVariablesNB(inf.compilers.LexicalAnalyzer scanner,
java.util.Properties props,
PddlDomainAdaptor.ParsingContext context)
::= ( * [ - ])*
next token must be closing bracket! |
protected static ai.krr.ontologies.Taxonomy |
PddlDomainAdaptor.parseTypesNB(inf.compilers.LexicalAnalyzer scanner,
java.util.Properties props,
PddlDomainAdaptor.ParsingContext context)
::= ":types" *
next token must be closing bracket! |