src/io/ParamConstraint.hpp

/*
 * Copyright (c) 2005 The University of Notre Dame. All Rights Reserved.
 *
 * The University of Notre Dame grants you ("Licensee") a
 * non-exclusive, royalty free, license to use, modify and
 * redistribute this software in source and binary code form, provided
 * that the following conditions are met:
 *
 * 1. Acknowledgement of the program authors must be made in any
 *    publication of scientific results based in part on use of the
 *    program.  An acceptable form of acknowledgement is citation of
 *    the article in which the program was described (Matthew
 *    A. Meineke, Charles F. Vardeman II, Teng Lin, Christopher
 *    J. Fennell and J. Daniel Gezelter, "OOPSE: An Object-Oriented
 *    Parallel Simulation Engine for Molecular Dynamics,"
 *    J. Comput. Chem. 26, pp. 252-271 (2005))
 *
 * 2. Redistributions of source code must retain the above copyright
 *    notice, this list of conditions and the following disclaimer.
 *
 * 3. Redistributions in binary form must reproduce the above copyright
 *    notice, this list of conditions and the following disclaimer in the
 *    documentation and/or other materials provided with the
 *    distribution.
 *
 * This software is provided "AS IS," without a warranty of any
 * kind. All express or implied conditions, representations and
 * warranties, including any implied warranty of merchantability,
 * fitness for a particular purpose or non-infringement, are hereby
 * excluded.  The University of Notre Dame and its licensors shall not
 * be liable for any damages suffered by licensee as a result of
 * using, modifying or distributing the software or its
 * derivatives. In no event will the University of Notre Dame or its
 * licensors be liable for any lost revenue, profit or data, or for
 * direct, indirect, special, consequential, incidental or punitive
 * damages, however caused and regardless of the theory of liability,
 * arising out of the use of or inability to use software, even if the
 * University of Notre Dame has been advised of the possibility of
 * such damages.
 */
 
#ifndef IO_PARAMCONSTRAINT_HPP
#define IO_PARAMCONSTRAINT_HPP
#include <sstream>
#include "utils/CaseConversion.hpp"
#include "utils/StringTokenizer.hpp"
namespace oopse {
  /**
   * This class allows to recognize constraint predicates, so that they can be combined using
   * composition operators. Every constraint predicate must be derived from this class
   */
  template<typename Derived>
  struct ParamConstraintFacade {
    std::string getConstraintDescription() {return description_;}
  protected:
    std::string description_;
  };

  struct NotEmptyConstraint : public ParamConstraintFacade<NotEmptyConstraint>{
    
    NotEmptyConstraint() { description_= "nonempty";}
    bool operator()( const std::string data ) const {
      return !data.empty();
    }
  };

  struct ZeroConstraint : public ParamConstraintFacade<ZeroConstraint>{
    
    ZeroConstraint() {this->description_ = "zero";}
    template<typename DataType>
    bool operator()( DataType data ) const {
      return data == 0;
    }
  };

  struct NonZeroConstraint : public ParamConstraintFacade<NonZeroConstraint>{
    NonZeroConstraint() {this->description_ = "nonzero";}

    template<typename DataType>
    bool operator()( DataType data ) const {
      return data != 0;
    }
  };

  struct PositiveConstraint : public ParamConstraintFacade<PositiveConstraint>{
    PositiveConstraint() {this->description_ = "positive";}
    template<typename DataType>
    bool operator()( DataType data ) const
    {
      return data > 0;
    }
  };

  struct NonPositiveConstraint : public ParamConstraintFacade<NonPositiveConstraint>{
    NonPositiveConstraint() {this->description_ = "nonpositive";}
    template<typename DataType>
    bool operator()( DataType data ) const
    {
      return data <= 0;
    }
  };

  struct NegativeConstraint : public ParamConstraintFacade<NegativeConstraint>{
    NegativeConstraint() {this->description_ = "negative";}
    template<typename DataType>
    bool operator()( DataType data ) const
    {
      return data < 0;
    }
  };

  struct NonNegativeConstraint : public ParamConstraintFacade<NonNegativeConstraint>{
    NonNegativeConstraint() {this->description_ = "nonnegative";}
    template<typename DataType>
    bool operator()( DataType data ) const
    {
      return data >= 0;
    }
  };


  struct EvenConstraint : public ParamConstraintFacade<EvenConstraint>{
    EvenConstraint() {this->description_ = "even";}
    template<typename DataType>
    bool operator()( DataType data ) const
    {
      return data % 2 == 0;
    }
  };

  template<typename T>
  struct LessThanConstraint : public ParamConstraintFacade<LessThanConstraint<T> > {
    
    LessThanConstraint(T rhs) : rhs_(rhs){
      std::stringstream iss;
      iss << "less than " << rhs;
      this->description_ = iss.str();
    }
    template<typename DataType>
    bool operator()( DataType data ) const {
      return data < rhs_; 
    }
  private:
    T rhs_;        
  };

  template<typename T>
  struct LessThanOrEqualToConstraint : public ParamConstraintFacade<LessThanOrEqualToConstraint<T> > {
    
    LessThanOrEqualToConstraint(T rhs) : rhs_(rhs) {
      std::stringstream iss;
      iss << "less than or equal to" << rhs;
      this->description_ = iss.str();
    }
    
    template<typename DataType>
    bool operator()( DataType data ) const {
      return data <= rhs_; 
    }
    
  private:
    T rhs_;        
  };

  template<typename T>
  struct EqualConstraint : public ParamConstraintFacade<EqualConstraint<T> > {
    
    EqualConstraint(T rhs) : rhs_(rhs){
      std::stringstream iss;
      iss << "equal to" << rhs;
      this->description_ = iss.str();

    }
    template<typename DataType>
    bool operator()( DataType data ) const {
      return data == rhs_; 
    }
  private:
    T rhs_;        
  };

  struct EqualIgnoreCaseConstraint : public ParamConstraintFacade<EqualIgnoreCaseConstraint> {
    
    EqualIgnoreCaseConstraint(std::string rhs) : rhs_(oopse::toUpperCopy(rhs)){
      std::stringstream iss;
      iss << "equal to (case insensitive) " << rhs;
      this->description_ = iss.str();
    }
    
    bool operator()( std::string data ) const {
      return oopse::toUpperCopy(data) == rhs_; 
    }
    
  private:
    std::string rhs_;        
  };

  struct ContainsConstraint :  public ParamConstraintFacade<EqualIgnoreCaseConstraint> {
    ContainsConstraint(std::string rhs) : rhs_(oopse::toUpperCopy(rhs)){
      std::stringstream iss;
      iss << "contains " << rhs;
      this->description_ = iss.str();
    }
    
    bool operator()( std::string data ) const {
      oopse::StringTokenizer tokenizer(oopse::toUpperCopy(data),  " ,;|\t\n\r");
      while (tokenizer.hasMoreTokens()) {
        if (tokenizer.nextToken() == rhs_) {
          return true;
        }
      }
        
      return  false; 
    }
    
  private:
    std::string rhs_;        

  };

  template<typename T>
  struct GreaterThanConstraint : public ParamConstraintFacade<GreaterThanConstraint<T> > {
    
    GreaterThanConstraint(T rhs) : rhs_(rhs){
      std::stringstream iss;
      iss << "greater than" << rhs;
      this->description_ = iss.str();
    }
    template<typename DataType>
    bool operator()( DataType data ) const {
      return data > rhs_; 
    }
  private:
    T rhs_;        
  };

  template<typename T>
  struct GreaterThanOrEqualTo : public ParamConstraintFacade<GreaterThanOrEqualTo<T> > {
    
    GreaterThanOrEqualTo(T rhs) : rhs_(rhs){
      std::stringstream iss;
      iss << "greater than or equal to" << rhs;
      this->description_ = iss.str();
    }
    template<typename DataType>
    bool operator()( DataType data ) const {
      return data >= rhs_; 
    }
  private:
    T rhs_;        
  };

  // class_and composition predicate
  template<typename Cons1T, typename Cons2T>
  struct AndParamConstraint: public ParamConstraintFacade< AndParamConstraint<Cons1T,Cons2T> > {
  public:

    AndParamConstraint( Cons1T cons1, Cons2T cons2 ) : cons1_(cons1), cons2_(cons2) {
      std::stringstream iss;
      iss << "(" << cons1_.getConstraintDescription() << " and " << cons2_.getConstraintDescription() << ")"; 
      this->description_ = iss.str();        
    }

    template<typename DataType>
    bool operator()( DataType data ) const {
      return cons1_(data) && cons2_(data);
    }

  private:
    Cons1T cons1_;
    Cons2T cons2_;
  };


  template<typename Cons1T, typename Cons2T>
  struct OrParamConstraint: public ParamConstraintFacade< OrParamConstraint<Cons1T,Cons2T> > {
  public:

    OrParamConstraint( Cons1T cons1, Cons2T cons2 ) : cons1_(cons1), cons2_(cons2) {
      std::stringstream iss;
      iss << cons1_.getConstraintDescription() << " or " << cons2_.getConstraintDescription() << ""; 
      this->description_ = iss.str(); 
    }

    template<typename DataType>
    bool operator()( DataType data ) const {
      return cons1_(data) || cons2_(data);
    }

  private:
    Cons1T cons1_;
    Cons2T cons2_;
  };

  template<typename ConsT>
  struct NotParamConstraint: public ParamConstraintFacade< NotParamConstraint<ConsT> > {
  public:


    NotParamConstraint( ConsT cons) : cons_(cons) {
      std::stringstream iss;
      iss << "(not" << cons_.getConstraintDescription() << ")"; 
      this->description_ = iss.str(); 
    }

    template<typename DataType>
    bool operator()( DataType data ) const {
      return !cons_(data);
    }

  private:
    ConsT cons_;
  };    


  template<typename Cons1T, typename Cons2T>
  inline AndParamConstraint<Cons1T, Cons2T>
  operator &&(const ParamConstraintFacade<Cons1T>& cons1,  const ParamConstraintFacade<Cons2T>& cons2 ) {    

    return AndParamConstraint<Cons1T,Cons2T>(
                                             *static_cast<const Cons1T*>(&cons1), 
                                             *static_cast<const Cons2T*>(&cons2) );
  }

  template<typename Cons1T, typename Cons2T>
  inline OrParamConstraint<Cons1T, Cons2T>
  operator ||( const ParamConstraintFacade<Cons1T>& cons1, const ParamConstraintFacade<Cons2T>& cons2 ) {    

    return OrParamConstraint<Cons1T,Cons2T>(
                                            *static_cast<const Cons1T*>(&cons1), 
                                            *static_cast<const Cons2T*>(&cons2) );
  }


  template<typename ConsT>
  inline NotParamConstraint<ConsT>
  operator !( const ParamConstraintFacade<ConsT>& cons ) {

    return NotParamConstraint<ConsT>(*static_cast<const ConsT*>(&cons)); 
  }


  NotEmptyConstraint isNotEmpty();
  ZeroConstraint isZero();

  ParamConstraintFacade<NonZeroConstraint> isNonZero();
  PositiveConstraint isPositive();
  NonPositiveConstraint isNonPositive();

  NegativeConstraint isNegative();

  NonNegativeConstraint isNonNegative();
  EvenConstraint isEven();

  template<typename T>
  inline LessThanConstraint<T>isLessThan(T& v ) {
    return LessThanConstraint<T>(v);
  }

  template<typename T>
  inline LessThanOrEqualToConstraint<T> isLessThanOrEqualTo(T& v ) {
    return ParamConstraintFacade<LessThanOrEqualToConstraint<T> >(v);
  }

  template<typename T>
  inline EqualConstraint<T> isEqual(T& v ) {
    return EqualConstraint<T>(v);
  }

  template<typename T>
  inline GreaterThanConstraint<T> isGreaterThan(T& v ) {
    return GreaterThanConstraint<T>(v);
  }

  template<typename T>
  inline GreaterThanOrEqualTo<T> isGreaterThanOrEqualTo(T& v ) {
    return GreaterThanOrEqualTo<T>(v);
  }

  EqualIgnoreCaseConstraint isEqualIgnoreCase(std::string str);
}
#endif
Revision:	1341
Committed:	Fri May 8 19:47:05 2009 UTC (15 years, 11 months ago) by skuang
Original Path:	*trunk/src/io/ParamConstraint.hpp*
File size:	11619 byte(s)
Log Message:	Bug fixes and sanity checks for RNEMD (nBins should be even), check to make sure we aren't selecting inappropriate numbers of integrable Objects
#	User	Rev	Content
1	tim	667	/*
2			* Copyright (c) 2005 The University of Notre Dame. All Rights Reserved.
3			*
4			* The University of Notre Dame grants you ("Licensee") a
5			* non-exclusive, royalty free, license to use, modify and
6			* redistribute this software in source and binary code form, provided
7			* that the following conditions are met:
8			*
9			* 1. Acknowledgement of the program authors must be made in any
10			* publication of scientific results based in part on use of the
11			* program. An acceptable form of acknowledgement is citation of
12			* the article in which the program was described (Matthew
13			* A. Meineke, Charles F. Vardeman II, Teng Lin, Christopher
14			* J. Fennell and J. Daniel Gezelter, "OOPSE: An Object-Oriented
15			* Parallel Simulation Engine for Molecular Dynamics,"
16			* J. Comput. Chem. 26, pp. 252-271 (2005))
17			*
18			* 2. Redistributions of source code must retain the above copyright
19			* notice, this list of conditions and the following disclaimer.
20			*
21			* 3. Redistributions in binary form must reproduce the above copyright
22			* notice, this list of conditions and the following disclaimer in the
23			* documentation and/or other materials provided with the
24			* distribution.
25			*
26			* This software is provided "AS IS," without a warranty of any
27			* kind. All express or implied conditions, representations and
28			* warranties, including any implied warranty of merchantability,
29			* fitness for a particular purpose or non-infringement, are hereby
30			* excluded. The University of Notre Dame and its licensors shall not
31			* be liable for any damages suffered by licensee as a result of
32			* using, modifying or distributing the software or its
33			* derivatives. In no event will the University of Notre Dame or its
34			* licensors be liable for any lost revenue, profit or data, or for
35			* direct, indirect, special, consequential, incidental or punitive
36			* damages, however caused and regardless of the theory of liability,
37			* arising out of the use of or inability to use software, even if the
38			* University of Notre Dame has been advised of the possibility of
39			* such damages.
40			*/
41
42	tim	672	#ifndef IO_PARAMCONSTRAINT_HPP
43			#define IO_PARAMCONSTRAINT_HPP
44			#include <sstream>
45	tim	673	#include "utils/CaseConversion.hpp"
46	tim	677	#include "utils/StringTokenizer.hpp"
47	tim	749	namespace oopse {
48	skuang	1341	/**
49			* This class allows to recognize constraint predicates, so that they can be combined using
50			* composition operators. Every constraint predicate must be derived from this class
51			*/
52			template<typename Derived>
53			struct ParamConstraintFacade {
54	tim	672	std::string getConstraintDescription() {return description_;}
55	skuang	1341	protected:
56			std::string description_;
57			};
58	tim	672
59	skuang	1341	struct NotEmptyConstraint : public ParamConstraintFacade<NotEmptyConstraint>{
60
61	tim	672	NotEmptyConstraint() { description_= "nonempty";}
62			bool operator()( const std::string data ) const {
63	skuang	1341	return !data.empty();
64	tim	672	}
65	skuang	1341	};
66	tim	672
67	skuang	1341	struct ZeroConstraint : public ParamConstraintFacade<ZeroConstraint>{
68	tim	672
69	tim	677	ZeroConstraint() {this->description_ = "zero";}
70	tim	672	template<typename DataType>
71			bool operator()( DataType data ) const {
72	skuang	1341	return data == 0;
73	tim	672	}
74	skuang	1341	};
75	tim	672
76	skuang	1341	struct NonZeroConstraint : public ParamConstraintFacade<NonZeroConstraint>{
77	tim	677	NonZeroConstraint() {this->description_ = "nonzero";}
78	tim	672
79			template<typename DataType>
80			bool operator()( DataType data ) const {
81	skuang	1341	return data != 0;
82	tim	672	}
83	skuang	1341	};
84	tim	672
85	skuang	1341	struct PositiveConstraint : public ParamConstraintFacade<PositiveConstraint>{
86	tim	677	PositiveConstraint() {this->description_ = "positive";}
87	tim	672	template<typename DataType>
88			bool operator()( DataType data ) const
89			{
90	skuang	1341	return data > 0;
91	tim	672	}
92	skuang	1341	};
93	tim	672
94	skuang	1341	struct NonPositiveConstraint : public ParamConstraintFacade<NonPositiveConstraint>{
95	tim	677	NonPositiveConstraint() {this->description_ = "nonpositive";}
96	tim	672	template<typename DataType>
97			bool operator()( DataType data ) const
98			{
99	skuang	1341	return data <= 0;
100	tim	672	}
101	skuang	1341	};
102	tim	672
103	skuang	1341	struct NegativeConstraint : public ParamConstraintFacade<NegativeConstraint>{
104	tim	677	NegativeConstraint() {this->description_ = "negative";}
105	tim	672	template<typename DataType>
106			bool operator()( DataType data ) const
107			{
108	skuang	1341	return data < 0;
109	tim	672	}
110	skuang	1341	};
111	tim	672
112	skuang	1341	struct NonNegativeConstraint : public ParamConstraintFacade<NonNegativeConstraint>{
113	tim	677	NonNegativeConstraint() {this->description_ = "nonnegative";}
114	tim	672	template<typename DataType>
115			bool operator()( DataType data ) const
116			{
117	skuang	1341	return data >= 0;
118	tim	672	}
119	skuang	1341	};
120	tim	672
121	skuang	1341
122			struct EvenConstraint : public ParamConstraintFacade<EvenConstraint>{
123			EvenConstraint() {this->description_ = "even";}
124			template<typename DataType>
125			bool operator()( DataType data ) const
126			{
127			return data % 2 == 0;
128			}
129			};
130
131			template<typename T>
132			struct LessThanConstraint : public ParamConstraintFacade<LessThanConstraint<T> > {
133	tim	672
134			LessThanConstraint(T rhs) : rhs_(rhs){
135	skuang	1341	std::stringstream iss;
136			iss << "less than " << rhs;
137			this->description_ = iss.str();
138	tim	672	}
139			template<typename DataType>
140			bool operator()( DataType data ) const {
141	skuang	1341	return data < rhs_;
142	tim	672	}
143	skuang	1341	private:
144			T rhs_;
145			};
146	tim	672
147	skuang	1341	template<typename T>
148			struct LessThanOrEqualToConstraint : public ParamConstraintFacade<LessThanOrEqualToConstraint<T> > {
149	tim	672
150			LessThanOrEqualToConstraint(T rhs) : rhs_(rhs) {
151	skuang	1341	std::stringstream iss;
152			iss << "less than or equal to" << rhs;
153			this->description_ = iss.str();
154	tim	672	}
155
156			template<typename DataType>
157			bool operator()( DataType data ) const {
158	skuang	1341	return data <= rhs_;
159	tim	672	}
160
161	skuang	1341	private:
162			T rhs_;
163			};
164	tim	672
165	skuang	1341	template<typename T>
166			struct EqualConstraint : public ParamConstraintFacade<EqualConstraint<T> > {
167	tim	672
168			EqualConstraint(T rhs) : rhs_(rhs){
169	skuang	1341	std::stringstream iss;
170			iss << "equal to" << rhs;
171			this->description_ = iss.str();
172	tim	672
173			}
174			template<typename DataType>
175			bool operator()( DataType data ) const {
176	skuang	1341	return data == rhs_;
177	tim	672	}
178	skuang	1341	private:
179			T rhs_;
180			};
181	tim	672
182	skuang	1341	struct EqualIgnoreCaseConstraint : public ParamConstraintFacade<EqualIgnoreCaseConstraint> {
183	tim	672
184	tim	673	EqualIgnoreCaseConstraint(std::string rhs) : rhs_(oopse::toUpperCopy(rhs)){
185	skuang	1341	std::stringstream iss;
186			iss << "equal to (case insensitive) " << rhs;
187			this->description_ = iss.str();
188	tim	672	}
189
190			bool operator()( std::string data ) const {
191	skuang	1341	return oopse::toUpperCopy(data) == rhs_;
192	tim	672	}
193
194	skuang	1341	private:
195			std::string rhs_;
196			};
197	tim	672
198	skuang	1341	struct ContainsConstraint : public ParamConstraintFacade<EqualIgnoreCaseConstraint> {
199	tim	677	ContainsConstraint(std::string rhs) : rhs_(oopse::toUpperCopy(rhs)){
200	skuang	1341	std::stringstream iss;
201			iss << "contains " << rhs;
202			this->description_ = iss.str();
203	tim	677	}
204
205			bool operator()( std::string data ) const {
206	skuang	1341	oopse::StringTokenizer tokenizer(oopse::toUpperCopy(data), " ,;\|\t\n\r");
207			while (tokenizer.hasMoreTokens()) {
208			if (tokenizer.nextToken() == rhs_) {
209			return true;
210	tim	677	}
211	skuang	1341	}
212	tim	677
213	skuang	1341	return false;
214	tim	677	}
215
216	skuang	1341	private:
217			std::string rhs_;
218	tim	677
219	skuang	1341	};
220	tim	677
221	skuang	1341	template<typename T>
222			struct GreaterThanConstraint : public ParamConstraintFacade<GreaterThanConstraint<T> > {
223	tim	672
224			GreaterThanConstraint(T rhs) : rhs_(rhs){
225	skuang	1341	std::stringstream iss;
226			iss << "greater than" << rhs;
227			this->description_ = iss.str();
228	tim	672	}
229			template<typename DataType>
230			bool operator()( DataType data ) const {
231	skuang	1341	return data > rhs_;
232	tim	672	}
233	skuang	1341	private:
234			T rhs_;
235			};
236	tim	672
237	skuang	1341	template<typename T>
238			struct GreaterThanOrEqualTo : public ParamConstraintFacade<GreaterThanOrEqualTo<T> > {
239	tim	672
240			GreaterThanOrEqualTo(T rhs) : rhs_(rhs){
241	skuang	1341	std::stringstream iss;
242			iss << "greater than or equal to" << rhs;
243			this->description_ = iss.str();
244	tim	672	}
245			template<typename DataType>
246			bool operator()( DataType data ) const {
247	skuang	1341	return data >= rhs_;
248	tim	672	}
249	skuang	1341	private:
250			T rhs_;
251			};
252	tim	672
253	skuang	1341	// class_and composition predicate
254			template<typename Cons1T, typename Cons2T>
255			struct AndParamConstraint: public ParamConstraintFacade< AndParamConstraint<Cons1T,Cons2T> > {
256			public:
257	tim	672
258			AndParamConstraint( Cons1T cons1, Cons2T cons2 ) : cons1_(cons1), cons2_(cons2) {
259	skuang	1341	std::stringstream iss;
260			iss << "(" << cons1_.getConstraintDescription() << " and " << cons2_.getConstraintDescription() << ")";
261			this->description_ = iss.str();
262	tim	672	}
263
264			template<typename DataType>
265			bool operator()( DataType data ) const {
266	skuang	1341	return cons1_(data) && cons2_(data);
267	tim	672	}
268
269	skuang	1341	private:
270	tim	672	Cons1T cons1_;
271			Cons2T cons2_;
272	skuang	1341	};
273	tim	672
274
275
276	skuang	1341	template<typename Cons1T, typename Cons2T>
277			struct OrParamConstraint: public ParamConstraintFacade< OrParamConstraint<Cons1T,Cons2T> > {
278			public:
279	tim	672
280			OrParamConstraint( Cons1T cons1, Cons2T cons2 ) : cons1_(cons1), cons2_(cons2) {
281	skuang	1341	std::stringstream iss;
282			iss << cons1_.getConstraintDescription() << " or " << cons2_.getConstraintDescription() << "";
283			this->description_ = iss.str();
284			}
285	tim	672
286			template<typename DataType>
287			bool operator()( DataType data ) const {
288	skuang	1341	return cons1_(data) \|\| cons2_(data);
289	tim	672	}
290
291	skuang	1341	private:
292	tim	672	Cons1T cons1_;
293			Cons2T cons2_;
294	skuang	1341	};
295	tim	672
296	skuang	1341	template<typename ConsT>
297			struct NotParamConstraint: public ParamConstraintFacade< NotParamConstraint<ConsT> > {
298			public:
299	tim	672
300
301			NotParamConstraint( ConsT cons) : cons_(cons) {
302	skuang	1341	std::stringstream iss;
303			iss << "(not" << cons_.getConstraintDescription() << ")";
304			this->description_ = iss.str();
305	tim	672	}
306
307			template<typename DataType>
308			bool operator()( DataType data ) const {
309	skuang	1341	return !cons_(data);
310	tim	672	}
311
312	skuang	1341	private:
313	tim	672	ConsT cons_;
314	skuang	1341	};
315	tim	672
316
317	skuang	1341	template<typename Cons1T, typename Cons2T>
318			inline AndParamConstraint<Cons1T, Cons2T>
319			operator &&(const ParamConstraintFacade<Cons1T>& cons1, const ParamConstraintFacade<Cons2T>& cons2 ) {
320	tim	672
321			return AndParamConstraint<Cons1T,Cons2T>(
322	skuang	1341	static_cast<const Cons1T>(&cons1),
323			static_cast<const Cons2T>(&cons2) );
324			}
325	tim	672
326	skuang	1341	template<typename Cons1T, typename Cons2T>
327			inline OrParamConstraint<Cons1T, Cons2T>
328			operator \|\|( const ParamConstraintFacade<Cons1T>& cons1, const ParamConstraintFacade<Cons2T>& cons2 ) {
329	tim	672
330			return OrParamConstraint<Cons1T,Cons2T>(
331	skuang	1341	static_cast<const Cons1T>(&cons1),
332			static_cast<const Cons2T>(&cons2) );
333			}
334	tim	672
335
336	skuang	1341	template<typename ConsT>
337			inline NotParamConstraint<ConsT>
338			operator !( const ParamConstraintFacade<ConsT>& cons ) {
339	tim	672
340			return NotParamConstraint<ConsT>(static_cast<const ConsT>(&cons));
341	skuang	1341	}
342	tim	672
343
344	skuang	1341	NotEmptyConstraint isNotEmpty();
345			ZeroConstraint isZero();
346	tim	672
347	skuang	1341	ParamConstraintFacade<NonZeroConstraint> isNonZero();
348			PositiveConstraint isPositive();
349			NonPositiveConstraint isNonPositive();
350	tim	672
351	skuang	1341	NegativeConstraint isNegative();
352	tim	672
353	skuang	1341	NonNegativeConstraint isNonNegative();
354			EvenConstraint isEven();
355	tim	672
356	skuang	1341	template<typename T>
357			inline LessThanConstraint<T>isLessThan(T& v ) {
358	tim	672	return LessThanConstraint<T>(v);
359	skuang	1341	}
360	tim	672
361	skuang	1341	template<typename T>
362			inline LessThanOrEqualToConstraint<T> isLessThanOrEqualTo(T& v ) {
363	tim	672	return ParamConstraintFacade<LessThanOrEqualToConstraint<T> >(v);
364	skuang	1341	}
365	tim	672
366	skuang	1341	template<typename T>
367			inline EqualConstraint<T> isEqual(T& v ) {
368	tim	672	return EqualConstraint<T>(v);
369	skuang	1341	}
370	tim	672
371	skuang	1341	template<typename T>
372			inline GreaterThanConstraint<T> isGreaterThan(T& v ) {
373	tim	672	return GreaterThanConstraint<T>(v);
374	skuang	1341	}
375	tim	672
376	skuang	1341	template<typename T>
377			inline GreaterThanOrEqualTo<T> isGreaterThanOrEqualTo(T& v ) {
378	tim	672	return GreaterThanOrEqualTo<T>(v);
379	skuang	1341	}
380	tim	672
381	skuang	1341	EqualIgnoreCaseConstraint isEqualIgnoreCase(std::string str);
382	tim	672	}
383			#endif