ix.icore.plan
Class PlanAsDomain

java.lang.Object
  ix.icore.AbstractAnnotatedObject
      ix.icore.AbstractIXObject
          ix.icore.domain.Domain
              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)