TREE EXPLORE
Retrieves information from the binary search tree
Contents
Private method of pwag object.
Description
This function associates each node of the binary search tree to a structure (state) with the following fields:
- name: name of the node
- addrHK: index of the elements of matrices H and K for the inequality corresponding to the current node (if it is not a leaf).
- addrFG: index of the elements of matrices F and G for computation of the pwag function related to the current node (if it is a leaf).
- leaf: it is "1" if the node is a leaf, "0" else.
This structure is suited for the automatic generation of a Finite State Machine associated to the tree, in the pwag circuit.
Syntax
state = treeExplore(object)
Acknowledgements
Contributors:
- Alberto Oliveri (alberto.oliveri@unige.it)
Copyright is with:
- Copyright (C) 2011 University of Genoa, Italy.