00001 00002 /* 00003 | Author: Michael Schmidt; 00004 | Gunnar Jehl 00005 | 00006 | ************************* SOFTWARE LICENSE AGREEMENT *********************** 00007 | This source code is published under the BSD License. 00008 | 00009 | See file 'LICENSE.txt' that comes with this distribution or 00010 | http://dbis.informatik.uni-freiburg.de/index.php?project=GCX/license.php 00011 | for the full license agreement. 00012 | 00013 | THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS "AS IS" 00014 | AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE 00015 | IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE 00016 | ARE DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT OWNER OR CONTRIBUTORS BE 00017 | LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR 00018 | CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF 00019 | SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS 00020 | INTERRUPTION) HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN 00021 | CONTRACT, STRICT LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) 00022 | ARISING IN ANY WAY OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE 00023 | POSSIBILITY OF SUCH DAMAGE. 00024 | **************************************************************************** 00025 */ 00026 00035 #include "variabletree.h" 00036 00037 VariableTree::VariableTree():root(new VariableTreeNode) { 00038 ParVarMap *parvarmap = ParVarMap::getInstance(); 00039 vector < unsigned >*varsq = parvarmap->getVarsq(); 00040 00041 vector < bool > *direct_output_info = parvarmap->getDirectOutputInfo(); 00042 for (unsigned i = 1; i < varsq->size(); i++) { // omit root variable! 00043 insertNode(parvarmap->getParVar((*varsq)[i]), (*varsq)[i], 00044 (*direct_output_info)[i]); 00045 } 00046 } 00047 00048 VariableTree::~VariableTree() { 00049 delete root; 00050 } 00051 00052 void VariableTree::insertNode(unsigned parent_var, unsigned introduced_var, 00053 bool direct_output) { 00054 root->insertNode(parent_var, introduced_var, direct_output); 00055 } 00056 00057 void VariableTree::print(OutputStream & dos) { 00058 root->print(dos); 00059 }