00001 // This file is a part of Aurelia. 00002 // Copyright (C) 2010 Valentin David 00003 // Copyright (C) 2010 University of Bergen 00004 // 00005 // This program is free software: you can redistribute it and/or modify 00006 // it under the terms of the GNU General Public License as published by 00007 // the Free Software Foundation, either version 3 of the License, or 00008 // (at your option) any later version. 00009 // 00010 // This program is distributed in the hope that it will be useful, 00011 // but WITHOUT ANY WARRANTY; without even the implied warranty of 00012 // MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the 00013 // GNU General Public License for more details. 00014 // 00015 // You should have received a copy of the GNU General Public License 00016 // along with this program. If not, see <http://www.gnu.org/licenses/>. 00017 00020 00021 #ifndef __STRAT_PAIR_HH 00022 # define __STRAT_PAIR_HH 00023 00024 # include "../../patterns/pattern.hh" 00025 # include "../../patterns/pair.hh" 00026 # include "build.hh" 00027 # include "match.hh" 00028 00029 namespace aurelia { 00030 00034 template <typename A, typename B> 00035 build_strategy<pair_pattern<A, B> > operator!(const pair_pattern<A,B>& p) { 00036 return build_strategy<pair_pattern<A, B> >(p); 00037 } 00038 00042 template <typename A, typename B> 00043 match_strategy<pair_pattern<A, B> > operator~(const pair_pattern<A,B>& p) { 00044 return match_strategy<pair_pattern<A, B> >(p); 00045 } 00046 00047 } 00048 00049 #endif