catsfoot.hh

00001 // This file is a part of Catsfoot.
00002 // Copyright (C) 2011  Uni Research
00003 //
00004 // This program is free software: you can redistribute it and/or modify
00005 // it under the terms of the GNU Lesser Public License as published by
00006 // the Free Software Foundation, either version 3 of the License, or
00007 // (at your option) any later version.
00008 //
00009 // This program is distributed in the hope that it will be useful,
00010 // but WITHOUT ANY WARRANTY; without even the implied warranty of
00011 // MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
00012 // GNU Lesser Public License for more details.
00013 //
00014 // You should have received a copy of the GNU Lesser Public License
00015 // along with this program.  If not, see <http://www.gnu.org/licenses/>.
00016 
00017 #ifndef __CATSFOOT_HH
00018 # define __CATSFOOT_HH
00019 
00023 
00027 
00031 
00035 
00037 namespace catsfoot {
00038 }
00039 
00040 namespace catsfoot {
00042   namespace details {
00043   }
00044 }
00045 
00047 
00048 # include <catsfoot-config.hh>
00049 # include "axioms/axioms.hh"
00050 # include "concept/concept_tools.hh"
00051 # include "type_traits/is_callable.hh"
00052 # include "type_traits/type_member.hh"
00053 # include "wrappers/members.hh"
00054 # include "wrappers/constant.hh"
00055 # include "concept/congruence.hh"
00056 # include "concept/product.hh"
00057 # include "dataset/dataset.hh"
00058 # include "dataset/pick.hh"
00059 # include "dataset/random_term_generator.hh"
00060 # include "dataset/choose.hh"
00061 # include "drivers/test_driver.hh"
00062 # include "drivers/test_all_driver.hh"
00063 
00064 #endif