ai.planning.strips
Class Domain.DomainTypeSystem

java.lang.Object
  ai.planning.strips.Domain.DomainTypeSystem

Enclosing class:

Domain

protected static class Domain.DomainTypeSystem
extends java.lang.Object

Field Summary

protected java.util.Set<Domain.DomainType>	allTypes
protected java.util.Map<Domain.PredicateArgNrPair,Domain.DomainType>	argToType
protected Domain	domain
protected java.util.Map<ai.krr.NamedSymbol,Domain.DomainType[]>	predicateTypes
protected java.util.Map<ai.krr.fol.Variable,Domain.DomainType>	varTypes

Constructor Summary

protected

Domain.DomainTypeSystem(Domain domain)

Method Summary

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Field Detail

domain

protected Domain domain

allTypes

protected java.util.Set<Domain.DomainType> allTypes

argToType

protected java.util.Map<Domain.PredicateArgNrPair,Domain.DomainType> argToType

varTypes

protected java.util.Map<ai.krr.fol.Variable,Domain.DomainType> varTypes

predicateTypes

protected java.util.Map<ai.krr.NamedSymbol,Domain.DomainType[]> predicateTypes

Constructor Detail

Domain.DomainTypeSystem

protected Domain.DomainTypeSystem(Domain domain)