|
||||||||||
PREV NEXT | FRAMES NO FRAMES |
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. |
|
||||||||||
PREV NEXT | FRAMES NO FRAMES |