|
ct_common
1.0.1
Common library for combinatorial testing
|
|
ct_common
1.0.1
Common library for combinatorial testing
|
00001 //===----- ct_common/common/constraint_l_iff.h ------------------*- C++ -*-===// 00002 // 00003 // The ct_common Library 00004 // 00005 // This file is distributed under the MIT license. See LICENSE for details. 00006 // 00007 //===----------------------------------------------------------------------===// 00008 // 00009 // This header file contains the class for atomic logical constraints 00010 // 00011 //===----------------------------------------------------------------------===// 00012 00013 #ifndef CT_COMMON_CONSTRAINT_L_ATOM_H_ 00014 #define CT_COMMON_CONSTRAINT_L_ATOM_H_ 00015 00016 #include <string> 00017 #include <ct_common/common/utils.h> 00018 #include <ct_common/common/constraint_l.h> 00019 #include <ct_common/common/paramspec.h> 00020 #include <boost/shared_ptr.hpp> 00021 00022 namespace ct { 00023 namespace common { 00027 class DLL_EXPORT Constraint_L_Atom : public Constraint_L { 00028 public: 00029 Constraint_L_Atom(void); 00030 Constraint_L_Atom(const Constraint_L_Atom &from); 00031 Constraint_L_Atom &operator = (const Constraint_L_Atom &right); 00032 virtual ~Constraint_L_Atom(void) = 0; 00033 00034 public: 00035 virtual std::string get_class_name(void) const; 00036 static std::string class_name(void); 00037 00038 }; 00039 } // namespace common 00040 } // namespace ct 00041 00042 #endif // CT_COMMON_CONSTRAINT_L_ATOM_H_
1.7.6.1
