Uses of Class
ai.planning.strips.Domain

Packages that use Domain
ai.planning.strips   
 

Uses of Domain in ai.planning.strips
 

Fields in ai.planning.strips declared as Domain
protected  Domain WorldState.domain
          the Domain with respect to which this WorldState is defined
protected  Domain SequentialPlan.domain
          the Domain in which this plan is defined
protected  Domain Problem.domain
          the Domain over which this problem is defined
protected  Domain Domain.DomainTypeSystem.domain
           
 

Methods in ai.planning.strips that return Domain
static Domain Domain.forName(ai.krr.NamedSymbol name)
           This function returns the Domain that has been associated with the given name.
 Domain WorldState.getDomain()
           This function returns the Domain with which this WorldState is associated.
 Domain Problem.getDomain()
           This function returns the domain over which this Problem is defined.
protected static Domain PddlDomainAdaptor.parseDomain(inf.compilers.LexicalAnalyzer scanner, java.util.Properties props)
           
protected static Domain PddlProblemAdaptor.parseDomainNB(inf.compilers.LexicalAnalyzer scanner, java.util.Properties props)
           ::= ":domain" next token must be closing bracket!
 Domain PddlDomainAdaptor.read(java.io.Reader r)
           This function attempts to parse characters from the given Reader until a Sentence that represents an object in the internal representation has been parsed.
static Domain Domain.read(java.io.Reader r, inf.compilers.SyntaxAdaptor<Domain> sa)
           This function attempts to read and parse a Domain from the given Reader.
 

Methods in ai.planning.strips that return types with arguments of type Domain
 java.lang.Class<Domain> PddlDomainAdaptor.getInternalClass()
           This function returns the Class that holds the internal representation this adaptor translates to and from.
 

Methods in ai.planning.strips with parameters of type Domain
 void PddlDomainAdaptor.prettyPrint(int indent, Domain domain, java.io.Writer w)
           This function takes a logical Sentence which is a Java Object in the internal representation, and writes it to the given Writer as a string conforming to the KIF syntax.
static void PddlProblemAdaptor.prettyPrintDomain(int indent, Domain domain, java.io.Writer w, java.util.Properties props)
           
static void PddlPlanAdaptor.prettyPrintDomain(int indent, Domain domain, java.io.Writer w, java.util.Properties props)
           
static void PddlDomainAdaptor.prettyPrintDomain(int indent, Domain domain, java.io.Writer w, java.util.Properties props)
           
 Goal Goal.regress(Action action, Domain domain)
           This function computes a new Goal that is the result of regressing this Goal through the given Action.
 void PddlDomainAdaptor.write(Domain domain, java.io.Writer w)
           This function takes a logical Sentence which is a Java Object in the internal representation, and writes it to the given Writer as a string conforming to the KIF syntax.
static void PddlProblemAdaptor.writeDomain(Domain domain, java.io.Writer w, java.util.Properties props)
           
static void PddlPlanAdaptor.writeDomain(Domain domain, java.io.Writer w, java.util.Properties props)
           
static void PddlDomainAdaptor.writeDomain(Domain domain, java.io.Writer w, java.util.Properties props)
           
 

Method parameters in ai.planning.strips with type arguments of type Domain
static Domain Domain.read(java.io.Reader r, inf.compilers.SyntaxAdaptor<Domain> sa)
           This function attempts to read and parse a Domain from the given Reader.
 

Constructors in ai.planning.strips with parameters of type Domain
Domain.DomainTypeSystem(Domain domain)
           
HashedSetState(java.util.Set<ai.krr.fol.Atom> atoms, Domain domain)
           This constructor creates a new WorldState in which the given Atoms are true.
ModelBasedState(java.util.Set<ai.krr.fol.Atom> atoms, Domain domain)
           This constructor creates a new WorldState in which the given Atoms are true.
Problem(Domain d, WorldState s0, Goal g)
           This constructor creates a new planning problem over the given domain.
SequentialPlan(Domain domain)
           This constructor creates a new, empty plan.
SequentialPlan(Domain domain, java.util.List<Action> acts)
           This constructor creates a new plan consisting of the given actions in the given order.
WorldState(Domain domain)
           This constructor creates a new WorldState.