|
||||||||||
| 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 | |||||||||