Uses of Class
ai.planning.strips.PddlDomainAdaptor.ParsingContext

Packages that use PddlDomainAdaptor.ParsingContext
ai.planning.strips   
 

Uses of PddlDomainAdaptor.ParsingContext in ai.planning.strips
 

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!