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

#include <OutputCls.hpp>

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

List of all members.

Public Types

typedef unsigned long int size_type

Public Member Functions

 Output_literal_stream (std::ostream &out)
void new_clause ()
Output_literal_streamadd (Lit x)
void finish ()
bool is_finished ()
void reopen ()
void comment_line (const std::string &s)
size_type clause_number () const
size_type literal_occurrences () const
size_type min_clause_length () const
size_type max_clause_length () const
virtual ~Output_literal_stream ()

Static Public Attributes

static const size_type max_size

Protected Member Functions

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

Protected Attributes

std::ostream & out

Detailed Description

template<class Lit>
class OutputCls::Output_literal_stream< Lit >

Definition at line 35 of file OutputCls.hpp.


Member Typedef Documentation

template<class Lit>
typedef unsigned long int OutputCls::Output_literal_stream< Lit >::size_type

Definition at line 37 of file OutputCls.hpp.


Constructor & Destructor Documentation

template<class Lit>
OutputCls::Output_literal_stream< Lit >::Output_literal_stream ( std::ostream &  out) [inline]

Definition at line 40 of file OutputCls.hpp.

template<class Lit>
virtual OutputCls::Output_literal_stream< Lit >::~Output_literal_stream ( ) [inline, virtual]

Definition at line 101 of file OutputCls.hpp.

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


Member Function Documentation

template<class Lit>
virtual void OutputCls::Output_literal_stream< Lit >::clause_begin ( ) const [protected, pure virtual]
template<class Lit>
size_type OutputCls::Output_literal_stream< Lit >::clause_number ( ) const [inline]

Definition at line 96 of file OutputCls.hpp.

Referenced by test_OutputCls().

template<class Lit>
virtual void OutputCls::Output_literal_stream< Lit >::clause_separator ( ) const [protected, pure virtual]
template<class Lit>
virtual void OutputCls::Output_literal_stream< Lit >::comment_begin ( ) const [protected, pure virtual]
template<class Lit>
void OutputCls::Output_literal_stream< Lit >::comment_line ( const std::string &  s) [inline]
template<class Lit>
virtual void OutputCls::Output_literal_stream< Lit >::empty_clause_set ( ) const [protected, pure virtual]
template<class Lit>
virtual void OutputCls::Output_literal_stream< Lit >::first_clause ( ) const [protected, pure virtual]
template<class Lit>
bool OutputCls::Output_literal_stream< Lit >::is_finished ( ) [inline]

Definition at line 84 of file OutputCls.hpp.

template<class Lit>
virtual void OutputCls::Output_literal_stream< Lit >::last_clause ( ) const [protected, pure virtual]
template<class Lit>
size_type OutputCls::Output_literal_stream< Lit >::literal_occurrences ( ) const [inline]

Definition at line 97 of file OutputCls.hpp.

Referenced by test_OutputCls().

template<class Lit>
virtual void OutputCls::Output_literal_stream< Lit >::literal_separator ( ) const [protected, pure virtual]
template<class Lit>
size_type OutputCls::Output_literal_stream< Lit >::max_clause_length ( ) const [inline]

Definition at line 99 of file OutputCls.hpp.

Referenced by test_OutputCls().

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

Definition at line 98 of file OutputCls.hpp.

Referenced by test_OutputCls().

template<class Lit>
void OutputCls::Output_literal_stream< Lit >::reopen ( ) [inline]

Definition at line 85 of file OutputCls.hpp.


Member Data Documentation

template<class Lit>
const Output_literal_stream< Lit >::size_type OutputCls::Output_literal_stream< Lit >::max_size [static]

Definition at line 38 of file OutputCls.hpp.

Referenced by test_OutputCls().

template<class Lit>
std::ostream& OutputCls::Output_literal_stream< Lit >::out [protected]

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