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)