Uses of Interface
ix.icore.process.PNodeMaker

Packages that use PNodeMaker
ix.icore.process Classes for representing processes. 
 

Uses of PNodeMaker in ix.icore.process
 

Methods in ix.icore.process with parameters of type PNodeMaker
 void PNode.expandOneLevel(Refinement sourceRefinement, MatchEnv env, PNodeMaker nodeMaker)
          Creates child nodes as specified by a refinement and installs ordering links.