|
||||||||
| PREV NEXT | FRAMES NO FRAMES | |||||||
| Uses of InstantiationTree in |
| Fields in declared as InstantiationTree | |
private InstantiationTree |
ChannelRegistry.rootOfInstTree
(completed) tree of textual instantiations Needed to compute father/child replation |
(package private) static InstantiationTree |
Flatten.globalInstantiationTree
The tree the system is mapped to |
static InstantiationTree |
GlobalJoin.iTree
The (global) tree of instantiation, these joins are relative to. This is not patrticular to one global join. Not copied, when cloned. |
| Methods in that return InstantiationTree | |
InstantiationTree |
InstantiationTree.findNodeWithContent(TextualInstantiation tinst)
Returns the node of the tree that contains the specific TextualInstantiation.Returns null, if it is not found. |
| Methods in with parameters of type InstantiationTree | |
void |
FlatDocumentWriter.addInformationAboutTranslation(InstantiationTree tree)
|
void |
InstantiationTree.addChild(InstantiationTree instt)
Add a child |
| Constructors in with parameters of type InstantiationTree | |
ChannelRegistry(InstantiationTree theInstTree)
Default Constructor: Needs references |
|
|
||||||||
| PREV NEXT | FRAMES NO FRAMES | |||||||