Version: 1.0
tree2dag_identities.cpp
Go to the documentation of this file.
1 // Copyright(c) 2019
2 // All rights reserved.
3 //
4 // Redistribution and use in source and binary forms, with or without
5 // modification, are permitted provided that the following conditions are met :
6 //
7 // *Redistributions of source code must retain the above copyright notice, this
8 // list of conditions and the following disclaimer.
9 //
10 // * Redistributions in binary form must reproduce the above copyright notice,
11 // this list of conditions and the following disclaimer in the documentation
12 // and / or other materials provided with the distribution.
13 //
14 // * Neither the name of GRAPHGEN nor the names of its
15 // contributors may be used to endorse or promote products derived from
16 // this software without specific prior written permission.
17 //
18 // THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS "AS IS"
19 // AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE
20 // IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE ARE
21 // DISCLAIMED.IN NO EVENT SHALL THE COPYRIGHT HOLDER OR CONTRIBUTORS BE LIABLE
22 // FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL
23 // DAMAGES(INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR
24 // SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER
25 // CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY,
26 // OR TORT(INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE
27 // OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
28 
29 #include "tree2dag_identities.h"
30 
31 // Search in tree n2 there is a subtree equal to n1, which is not n1
33  if (n2->isleaf() || n1 == n2)
34  return;
35 
36  if (n1 != n2->left && EqualTrees(n1, n2->left)) {
37  n2->left = n1;
38  }
39 
40  if (n1 != n2->right && EqualTrees(n1, n2->right)) {
41  n2->right = n1;
42  }
43 
44  FindAndLinkIdentiesRec(n1, n2->left);
45  FindAndLinkIdentiesRec(n1, n2->right);
46 }
47 
50 
51  if (!n->isleaf()) {
52  Tree2DagUsingIdentitiesRec(n->left, t);
53  Tree2DagUsingIdentitiesRec(n->right, t);
54  }
55 }
56 
57 // Converts a tree into dag considering only equal subtrees
60 }
A BinaryDrag is the GRAPHGEN implementation of a Binary Directed Rooted Acyclic Graph (DRAG in short)
Definition: drag.h:28
node * GetRoot() const
Returns the last root of the BinaryDrag.
Definition: drag.h:66
bool EqualTrees(const BinaryDrag< conact >::node *n1, const BinaryDrag< conact >::node *n2)
Checks whether two (sub)trees 'n1' and 'n2' are equal or nor.
void FindAndLinkIdentiesRec(BinaryDrag< conact >::node *n1, BinaryDrag< conact >::node *n2)
void Tree2DagUsingIdentities(BinaryDrag< conact > &t)
void Tree2DagUsingIdentitiesRec(BinaryDrag< conact >::node *n, BinaryDrag< conact > &t)