OKlibrary  0.2.1.6
OutputCls::Dimacs_output_literal_stream< Lit > Class Template Reference

#include <OutputCls.hpp>

Inheritance diagram for OutputCls::Dimacs_output_literal_stream< Lit >:
OutputCls::Output_literal_stream< Lit >

List of all members.

Public Member Functions

 Dimacs_output_literal_stream (std::ostream &out, typename Output_literal_stream< Lit >::size_type number_variables, typename Output_literal_stream< Lit >::size_type number_clauses)
Output_literal_stream< Lit >
::size_type 
parameter_n () const
Output_literal_stream< Lit >
::size_type 
parameter_c () const
 ~Dimacs_output_literal_stream ()

Protected Member Functions

void first_clause () const
void last_clause () const
void clause_begin () const
void clause_end () const
void clause_separator () const
void literal_separator () const
void comment_begin () const
void empty_clause_set () const

Detailed Description

template<class Lit>
class OutputCls::Dimacs_output_literal_stream< Lit >

Definition at line 128 of file OutputCls.hpp.


Constructor & Destructor Documentation

template<class Lit >
OutputCls::Dimacs_output_literal_stream< Lit >::Dimacs_output_literal_stream ( std::ostream &  out,
typename Output_literal_stream< Lit >::size_type  number_variables,
typename Output_literal_stream< Lit >::size_type  number_clauses 
) [inline]

Definition at line 131 of file OutputCls.hpp.

template<class Lit >
OutputCls::Dimacs_output_literal_stream< Lit >::~Dimacs_output_literal_stream ( ) [inline]

Definition at line 144 of file OutputCls.hpp.

References OutputCls::Output_literal_stream< Lit >::finish().


Member Function Documentation

template<class Lit >
void OutputCls::Dimacs_output_literal_stream< Lit >::clause_begin ( ) const [inline, protected, virtual]

Implements OutputCls::Output_literal_stream< Lit >.

Definition at line 155 of file OutputCls.hpp.

template<class Lit >
void OutputCls::Dimacs_output_literal_stream< Lit >::clause_end ( ) const [inline, protected, virtual]

Implements OutputCls::Output_literal_stream< Lit >.

Definition at line 156 of file OutputCls.hpp.

template<class Lit >
void OutputCls::Dimacs_output_literal_stream< Lit >::clause_separator ( ) const [inline, protected, virtual]

Implements OutputCls::Output_literal_stream< Lit >.

Definition at line 157 of file OutputCls.hpp.

template<class Lit >
void OutputCls::Dimacs_output_literal_stream< Lit >::comment_begin ( ) const [inline, protected, virtual]

Implements OutputCls::Output_literal_stream< Lit >.

Definition at line 159 of file OutputCls.hpp.

template<class Lit >
void OutputCls::Dimacs_output_literal_stream< Lit >::empty_clause_set ( ) const [inline, protected, virtual]

Implements OutputCls::Output_literal_stream< Lit >.

Definition at line 160 of file OutputCls.hpp.

template<class Lit >
void OutputCls::Dimacs_output_literal_stream< Lit >::first_clause ( ) const [inline, protected, virtual]

Implements OutputCls::Output_literal_stream< Lit >.

Definition at line 151 of file OutputCls.hpp.

template<class Lit >
void OutputCls::Dimacs_output_literal_stream< Lit >::last_clause ( ) const [inline, protected, virtual]

Implements OutputCls::Output_literal_stream< Lit >.

Definition at line 154 of file OutputCls.hpp.

template<class Lit >
void OutputCls::Dimacs_output_literal_stream< Lit >::literal_separator ( ) const [inline, protected, virtual]

Implements OutputCls::Output_literal_stream< Lit >.

Definition at line 158 of file OutputCls.hpp.

template<class Lit >
Output_literal_stream<Lit>::size_type OutputCls::Dimacs_output_literal_stream< Lit >::parameter_c ( ) const [inline]

Definition at line 140 of file OutputCls.hpp.

Referenced by test_OutputCls().

template<class Lit >
Output_literal_stream<Lit>::size_type OutputCls::Dimacs_output_literal_stream< Lit >::parameter_n ( ) const [inline]

Definition at line 137 of file OutputCls.hpp.

Referenced by test_OutputCls().


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