Searched refs:transitionTree (Results 1 – 2 of 2) sorted by relevance
83 const transitionTree = new PropertyTreeNode( constant90 transitionTree.addOrReplaceChild(93 transitionTree.addOrReplaceChild(97 operation.apply(transitionTree),99 return transitionTree;
61 let transitionTree: PropertyTreeNode; variable69 transitionTree = new PropertyTreeBuilder()76 .setEntries([transitionTree])216 transitionTree,