OKlibrary  0.2.1.6
Trees.mac
Go to the documentation of this file.
00001 /* Oliver Kullmann, 7.5.2008 (Guangzhou) */
00002 /* Copyright 2008, 2009 Oliver Kullmann
00003 This file is part of the OKlibrary. OKlibrary is free software; you can redistribute
00004 it and/or modify it under the terms of the GNU General Public License as published by
00005 the Free Software Foundation and included in this library; either version 3 of the
00006 License, or any later version. */
00007 
00021 oklib_include("OKlib/ComputerAlgebra/Satisfiability/Lisp/BranchingTuples/Trees.mac")$
00022 oklib_include("OKlib/ComputerAlgebra/Satisfiability/Lisp/BranchingTuples/tests/Trees.mac")$
00023 
00024 /* *******************************************
00025    * Analysing unlabelled rooted trees       *
00026    *******************************************
00027 */
00028 
00029 okltest_canonical_tpd(canonical_tpd);
00030 okltest_uniform_tpd(uniform_tpd);
00031 
00032 /* **************************************************
00033    * Rooted trees labelled with branching tuples    *
00034    **************************************************
00035 */
00036 
00037 okltest_tbtp(tbtp);
00038 
00039 okltest_min_sum_tbt(min_sum_tbt);
00040 okltest_max_sum_tbt(max_sum_tbt);
00041 
00042 okltest_delta_tm(delta_tm);
00043 
00044 okltest_tauprob_tbt(tauprob_tbt);
00045 okltest_tauprob_hp_tbt(tauprob_hp_tbt);
00046 okltest_tauprob_symbolical_tbt(tauprob_symbolical_tbt);
00047 
00048 /* **********************************************************
00049    * Rooted trees labelled with probability distributions   *
00050    **********************************************************
00051 */
00052 
00053 okltest_ipd_rp(ipd_rp);
00054 
00055 okltest_maxtau_tbt(maxtau_tbt);
00056 okltest_mintau_tbt(mintau_tbt);
00057