ix.icore.plan
Class PlanAsDomain

java.lang.Object
  extended by ix.icore.AbstractAnnotatedObject
      extended by ix.icore.AbstractIXObject
          extended by ix.icore.domain.Domain
              extended by ix.icore.plan.PlanAsDomain
All Implemented Interfaces:
Annotated, Named, IXObject, java.io.Serializable, java.lang.Cloneable

public class PlanAsDomain
extends Domain

A plan represented as a domain.

See Also:
Serialized Form

Field Summary
protected  java.util.Map<Name,Activity> idToActivityMap
           
protected  Gensym.Generator nameGen
           
protected  java.util.Map<Name,ItemVar> planVarIdToItemVarMap
           
 
Fields inherited from class ix.icore.domain.Domain
classNameMap, listeners, name, objectClasses, refinementNameMap, refinements, variableDeclarations
 
Fields inherited from class ix.icore.AbstractAnnotatedObject
annotationListeners, annotations
 
Constructor Summary
PlanAsDomain()
           
PlanAsDomain(Plan plan)
           
 
Method Summary
static void main(java.lang.String[] argv)
           
 
Methods inherited from class ix.icore.domain.Domain
addDomainListener, addObjectClass, addRefinement, analyseDomain, checkConsistency, clear, clone, deleteNamedObjectClass, deleteNamedRefinement, deleteObjectClass, deleteRefinement, fireRefinementAdded, getName, getNamedObjectClass, getNamedRefinement, getObjectClasses, getRefinements, getVariableDeclarations, isEmpty, replaceNamedRefinement, replaceObjectClass, replaceRefinement, setName, setObjectClasses, setObjectClasses, setRefinements, setRefinements, setVariableDeclarations, takeFrom, toString
 
Methods inherited from class ix.icore.AbstractAnnotatedObject
addAnnotationListener, annMap, clearAnnotations, fireSetAnnotation, getAnnotation, getAnnotations, getComments, makeAnnMap, removeAnnotation, setAnnotation, setAnnotations, setComments, takeAnnotations
 
Methods inherited from class java.lang.Object
equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait
 
Methods inherited from interface ix.icore.Annotated
addAnnotationListener, clearAnnotations, fireSetAnnotation, getAnnotation, getAnnotations, removeAnnotation, setAnnotation, setAnnotations, takeAnnotations
 

Field Detail

idToActivityMap

protected java.util.Map<Name,Activity> idToActivityMap

planVarIdToItemVarMap

protected java.util.Map<Name,ItemVar> planVarIdToItemVarMap

nameGen

protected Gensym.Generator nameGen
Constructor Detail

PlanAsDomain

public PlanAsDomain()

PlanAsDomain

public PlanAsDomain(Plan plan)
Method Detail

main

public static void main(java.lang.String[] argv)