OKlibrary  0.2.1.6
OutputCls::Adapter_Dimacs_Output Class Reference

#include <OutputCls.hpp>

List of all members.

Public Types

typedef
Dimacs_output_literal_stream_strings::size_type 
size_type

Public Member Functions

 Adapter_Dimacs_Output (std::ostream &out)
 ~Adapter_Dimacs_Output ()
void set_number_variables (size_type n_)
size_type get_number_variables ()
void set_number_clauses (size_type c_)
size_type get_number_clauses ()
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 &s)
void explanation (const std::string &)
void new_clause ()
Adapter_Dimacs_Outputadd (const std::string &name, Values::BooleanValues v)
void finish ()
void reopen ()
bool is_finished ()
size_type clause_number () const
size_type literal_occurrences () const
size_type min_clause_length () const
size_type max_clause_length () const

Detailed Description

Definition at line 177 of file OutputCls.hpp.


Member Typedef Documentation


Constructor & Destructor Documentation

Definition at line 182 of file OutputCls.hpp.


Member Function Documentation

Definition at line 207 of file OutputCls.hpp.

References Values::pos.

Definition at line 193 of file OutputCls.hpp.

Definition at line 228 of file OutputCls.hpp.

Referenced by test_TransformationBiclique().

void OutputCls::Adapter_Dimacs_Output::comment_line ( const std::string &  s) [inline]

Definition at line 197 of file OutputCls.hpp.

void OutputCls::Adapter_Dimacs_Output::explanation ( const std::string &  ) [inline]

Definition at line 201 of file OutputCls.hpp.

Definition at line 215 of file OutputCls.hpp.

Definition at line 223 of file OutputCls.hpp.

Definition at line 203 of file OutputCls.hpp.

Definition at line 219 of file OutputCls.hpp.

Definition at line 191 of file OutputCls.hpp.

Definition at line 188 of file OutputCls.hpp.

Definition at line 186 of file OutputCls.hpp.


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