alpar@1956: /* -*- C++ -*-
alpar@1956:  *
alpar@1956:  * This file is a part of LEMON, a generic C++ optimization library
alpar@1956:  *
alpar@1956:  * Copyright (C) 2003-2006
alpar@1956:  * Egervary Jeno Kombinatorikus Optimalizalasi Kutatocsoport
alpar@1956:  * (Egervary Research Group on Combinatorial Optimization, EGRES).
alpar@1956:  *
alpar@1956:  * Permission to use, modify and distribute this software is granted
alpar@1956:  * provided that this copyright notice appears in all copies. For
alpar@1956:  * precise terms see the accompanying LICENSE file.
alpar@1956:  *
alpar@1956:  * This software is provided "AS IS" with no warranty of any kind,
alpar@1956:  * express or implied, and with no claim as to its suitability for any
alpar@1956:  * purpose.
alpar@1956:  *
alpar@1956:  */
alpar@1956: 
deba@2032: #include <deque>
deba@2032: #include <set>
deba@2032: 
alpar@1041: #include <lemon/concept_check.h>
alpar@1041: #include <lemon/concept/maps.h>
alpar@1041: #include <lemon/maps.h>
alpar@1041: 
alpar@1041: #include "test_tools.h"
alpar@1041: 
alpar@1041: using namespace lemon;
alpar@1041: using namespace lemon::concept;
alpar@1041: 
alpar@1041: struct A {};
deba@2032: inline bool operator<(A, A) { return true; }
alpar@1041: struct B {};
deba@1675: 
deba@1675: class F {
alpar@1076: public:
deba@1675:   typedef A argument_type;
deba@1675:   typedef B result_type;
deba@1675: 
alpar@1375:   B operator()(const A &) const {return B();}
alpar@1076: };
alpar@1076: 
alpar@1375: int func(A) {return 3;}
alpar@1041: 
deba@1675: int binc(int, B) {return 4;}
deba@1675: 
alpar@1041: typedef ReadMap<A,double> DoubleMap;
deba@2032: typedef ReadWriteMap<A, double> WriteDoubleMap;
deba@2032: 
deba@2032: typedef ReadMap<A,bool> BoolMap;
deba@2032: typedef ReadWriteMap<A, bool> BoolWriteMap;
alpar@1041: 
alpar@1041: int main()
alpar@1041: { // checking graph components
alpar@1041:   
alpar@1041:   checkConcept<ReadMap<A,B>, ReadMap<A,B> >();
alpar@1041:   checkConcept<WriteMap<A,B>, WriteMap<A,B> >();
alpar@1041:   checkConcept<ReadWriteMap<A,B>, ReadWriteMap<A,B> >();
alpar@1041:   checkConcept<ReferenceMap<A,B,B&,const B&>, ReferenceMap<A,B,B&,const B&> >();
alpar@1041: 
alpar@1041:   checkConcept<ReadMap<A,double>, AddMap<DoubleMap,DoubleMap> >();
alpar@1041:   checkConcept<ReadMap<A,double>, SubMap<DoubleMap,DoubleMap> >();
alpar@1041:   checkConcept<ReadMap<A,double>, MulMap<DoubleMap,DoubleMap> >();
alpar@1041:   checkConcept<ReadMap<A,double>, DivMap<DoubleMap,DoubleMap> >();
alpar@1041:   checkConcept<ReadMap<A,double>, NegMap<DoubleMap> >();
deba@2032:   checkConcept<ReadWriteMap<A,double>, NegWriteMap<WriteDoubleMap> >();
alpar@1041:   checkConcept<ReadMap<A,double>, AbsMap<DoubleMap> >();
alpar@1070:   checkConcept<ReadMap<A,double>, ShiftMap<DoubleMap> >();
deba@2032:   checkConcept<ReadWriteMap<A,double>, ShiftWriteMap<WriteDoubleMap> >();
alpar@1070:   checkConcept<ReadMap<A,double>, ScaleMap<DoubleMap> >();
deba@2032:   checkConcept<ReadWriteMap<A,double>, ScaleWriteMap<WriteDoubleMap> >();
deba@2032:   checkConcept<ReadMap<A,double>, ForkMap<DoubleMap, DoubleMap> >();
deba@2032:   checkConcept<ReadWriteMap<A,double>, 
deba@2032:     ForkWriteMap<WriteDoubleMap, WriteDoubleMap> >();
alpar@1041:   
alpar@1041:   checkConcept<ReadMap<B,double>, ComposeMap<DoubleMap,ReadMap<B,A> > >();
alpar@1041: 
deba@1675:   checkConcept<ReadMap<A,B>, FunctorMap<F, A, B> >();
alpar@1076: 
deba@2032:   checkConcept<ReadMap<A, bool>, NotMap<BoolMap> >();
deba@2032:   checkConcept<ReadWriteMap<A, bool>, NotWriteMap<BoolWriteMap> >();
deba@2032: 
deba@2032:   checkConcept<WriteMap<A, bool>, StoreBoolMap<A*> >();
deba@2032:   checkConcept<WriteMap<A, bool>, BackInserterBoolMap<std::deque<A> > >();
deba@2032:   checkConcept<WriteMap<A, bool>, FrontInserterBoolMap<std::deque<A> > >();
deba@2032:   checkConcept<WriteMap<A, bool>, InserterBoolMap<std::set<A> > >();
deba@2032:   checkConcept<WriteMap<A, bool>, FillBoolMap<WriteMap<A, B> > >();
deba@2032:   checkConcept<WriteMap<A, bool>, SettingOrderBoolMap<WriteMap<A, int> > >();
deba@2032: 
alpar@1076:   int a;
alpar@1076:   
alpar@1076:   a=mapFunctor(constMap<A,int>(2))(A());
alpar@1076:   check(a==2,"Something is wrong with mapFunctor");
alpar@1076: 
alpar@1076:   B b;
deba@1675:   b=functorMap(F())[A()];
alpar@1076: 
deba@1675:   a=functorMap(&func)[A()];
alpar@1076:   check(a==3,"Something is wrong with functorMap");
alpar@1076: 
deba@1675:   a=combineMap(constMap<B, int, 1>(), identityMap<B>(), &binc)[B()];
deba@1675:   check(a==4,"Something is wrong with combineMap");
deba@1675:   
deba@1675: 
alpar@1041:   std::cout << __FILE__ ": All tests passed.\n";
alpar@1041:   
alpar@1041:   return 0;
alpar@1041: }