OKlibrary  0.2.1.6
InputCls::Construct_Cls_dynamic< Clauseset > Class Template Reference

#include <InputCls.hpp>

List of all members.

Public Types

typedef Clauseset Cls
typedef Cls::size_type size_type
typedef Cls::Cl Cl
typedef Cls::Lit Lit
typedef Cls::Var Var

Public Member Functions

 Construct_Cls_dynamic (Cls &F)
void set_number_variables (size_type)
void set_number_clauses (size_type)
void set_number_literal_occurrences (size_type) const
void set_max_clause_length (size_type) const
void begin_construction ()
void comment_line (const std::string &)
void explanation (const std::string &)
void new_clause ()
void finish ()
bool is_finished ()
 ~Construct_Cls_dynamic ()
Construct_Cls_dynamicadd (typename Cls::Lit x)

Detailed Description

template<class Clauseset>
class InputCls::Construct_Cls_dynamic< Clauseset >

Definition at line 163 of file InputCls.hpp.


Member Typedef Documentation

template<class Clauseset >
typedef Cls::Cl InputCls::Construct_Cls_dynamic< Clauseset >::Cl

Definition at line 174 of file InputCls.hpp.

template<class Clauseset >
typedef Clauseset InputCls::Construct_Cls_dynamic< Clauseset >::Cls

Definition at line 172 of file InputCls.hpp.

template<class Clauseset >
typedef Cls::Lit InputCls::Construct_Cls_dynamic< Clauseset >::Lit

Definition at line 175 of file InputCls.hpp.

template<class Clauseset >
typedef Cls::size_type InputCls::Construct_Cls_dynamic< Clauseset >::size_type

Definition at line 173 of file InputCls.hpp.

template<class Clauseset >
typedef Cls::Var InputCls::Construct_Cls_dynamic< Clauseset >::Var

Definition at line 176 of file InputCls.hpp.


Constructor & Destructor Documentation

template<class Clauseset >
InputCls::Construct_Cls_dynamic< Clauseset >::Construct_Cls_dynamic ( Cls F) [inline]

Definition at line 178 of file InputCls.hpp.

template<class Clauseset >
InputCls::Construct_Cls_dynamic< Clauseset >::~Construct_Cls_dynamic ( ) [inline]

Definition at line 205 of file InputCls.hpp.


Member Function Documentation

template<class Clauseset >
Construct_Cls_dynamic& InputCls::Construct_Cls_dynamic< Clauseset >::add ( typename Cls::Lit  x) [inline]

Definition at line 209 of file InputCls.hpp.

template<class Clauseset >
void InputCls::Construct_Cls_dynamic< Clauseset >::begin_construction ( ) [inline]

Definition at line 185 of file InputCls.hpp.

template<class Clauseset >
void InputCls::Construct_Cls_dynamic< Clauseset >::comment_line ( const std::string &  ) [inline]

Definition at line 186 of file InputCls.hpp.

template<class Clauseset >
void InputCls::Construct_Cls_dynamic< Clauseset >::explanation ( const std::string &  ) [inline]

Definition at line 187 of file InputCls.hpp.

template<class Clauseset >
void InputCls::Construct_Cls_dynamic< Clauseset >::finish ( ) [inline]

Definition at line 197 of file InputCls.hpp.

References F.

template<class Clauseset >
bool InputCls::Construct_Cls_dynamic< Clauseset >::is_finished ( ) [inline]

Definition at line 204 of file InputCls.hpp.

template<class Clauseset >
void InputCls::Construct_Cls_dynamic< Clauseset >::new_clause ( ) [inline]

Definition at line 189 of file InputCls.hpp.

References F.

template<class Clauseset >
void InputCls::Construct_Cls_dynamic< Clauseset >::set_max_clause_length ( size_type  ) const [inline]

Definition at line 183 of file InputCls.hpp.

template<class Clauseset >
void InputCls::Construct_Cls_dynamic< Clauseset >::set_number_clauses ( size_type  ) [inline]

Definition at line 181 of file InputCls.hpp.

template<class Clauseset >
void InputCls::Construct_Cls_dynamic< Clauseset >::set_number_literal_occurrences ( size_type  ) const [inline]

Definition at line 182 of file InputCls.hpp.

template<class Clauseset >
void InputCls::Construct_Cls_dynamic< Clauseset >::set_number_variables ( size_type  ) [inline]

Definition at line 180 of file InputCls.hpp.


The documentation for this class was generated from the following file: