Uses of Class
ai.planning.strips.Domain.DomainType

Packages that use Domain.DomainType
ai.planning.strips   
 

Uses of Domain.DomainType in ai.planning.strips
 

Fields in ai.planning.strips with type parameters of type Domain.DomainType
protected  java.util.Set<Domain.DomainType> Domain.DomainTypeSystem.allTypes
           
protected  java.util.Map<Domain.PredicateArgNrPair,Domain.DomainType> Domain.DomainTypeSystem.argToType
           
protected  java.util.HashMap<ai.krr.NamedSymbol,Domain.DomainType> Problem.ObjectTypeSystem.objToType
           
protected  java.util.HashMap<Domain.DomainType,java.util.Set<ai.krr.NamedSymbol>> Problem.ObjectTypeSystem.typeToObjs
           
protected  java.util.Map<ai.krr.fol.Variable,Domain.DomainType> Domain.DomainTypeSystem.varTypes
           
 

Methods in ai.planning.strips that return Domain.DomainType
 Domain.DomainType[] Domain.getSignature(ai.krr.NamedSymbol relation)
           This function returns the signature for the given relation in this Domain.
 

Methods in ai.planning.strips that return types with arguments of type Domain.DomainType
 java.util.Set<Domain.DomainType> Domain.getDomainTypes()
           This function returns the derived set of domain types that have been defined for this Domain.
 

Methods in ai.planning.strips with parameters of type Domain.DomainType
 java.util.Set<ai.krr.NamedSymbol> Problem.getInstances(Domain.DomainType type)
           
 

Constructors in ai.planning.strips with parameters of type Domain.DomainType
ToPropositionalTransformer.ArgOptionIterator(Domain.DomainType[] types)