OKlibrary  0.2.1.6
OKlib::Satisfiability::Interfaces::InputOutput::ReadPass< Lit, Pass > Class Template Reference

Reading a partial assignment from an input stream. More...

#include <PartialAssignments.hpp>

List of all members.

Public Types

typedef Lit literal_type
typedef Pass pass_type
typedef std::set< literal_typelitset_t
typedef litset_t::const_iterator iterator

Public Member Functions

 ReadPass (std::istream &in)

Public Attributes

const litset_t litset
const pass_type pa
const literal_type max_var

Detailed Description

template<typename Lit, class Pass>
class OKlib::Satisfiability::Interfaces::InputOutput::ReadPass< Lit, Pass >

Reading a partial assignment from an input stream.

  • The stream starts with "v ", followed by non-zero integers separated by space-symbols, representing the boolean literals to be set to true, and concluded by "0".
  • Space-symbols (also leading and trailing ones) are ignored.
  • After construction, in data-member litset the set of literals set to true is obtained, in data-member pa the corresponding partial assignment, and in data-member max_var the maximal absolute value of literals (i.e., the maximal variable-index).
  • Only integral literals are possible.
  • Besides syntax-errors the only error is contradictory literals.
  • Repeated literals are ignored.

Definition at line 56 of file PartialAssignments.hpp.


Member Typedef Documentation

template<typename Lit , class Pass >
typedef litset_t::const_iterator OKlib::Satisfiability::Interfaces::InputOutput::ReadPass< Lit, Pass >::iterator

Definition at line 60 of file PartialAssignments.hpp.

template<typename Lit , class Pass >
typedef Lit OKlib::Satisfiability::Interfaces::InputOutput::ReadPass< Lit, Pass >::literal_type

Definition at line 57 of file PartialAssignments.hpp.

template<typename Lit , class Pass >
typedef std::set<literal_type> OKlib::Satisfiability::Interfaces::InputOutput::ReadPass< Lit, Pass >::litset_t

Definition at line 59 of file PartialAssignments.hpp.

template<typename Lit , class Pass >
typedef Pass OKlib::Satisfiability::Interfaces::InputOutput::ReadPass< Lit, Pass >::pass_type

Definition at line 58 of file PartialAssignments.hpp.


Constructor & Destructor Documentation

template<typename Lit , class Pass >
OKlib::Satisfiability::Interfaces::InputOutput::ReadPass< Lit, Pass >::ReadPass ( std::istream &  in) [inline]

Definition at line 66 of file PartialAssignments.hpp.


Member Data Documentation

template<typename Lit , class Pass >
const litset_t OKlib::Satisfiability::Interfaces::InputOutput::ReadPass< Lit, Pass >::litset

Definition at line 62 of file PartialAssignments.hpp.

template<typename Lit , class Pass >
const literal_type OKlib::Satisfiability::Interfaces::InputOutput::ReadPass< Lit, Pass >::max_var

Definition at line 64 of file PartialAssignments.hpp.

template<typename Lit , class Pass >
const pass_type OKlib::Satisfiability::Interfaces::InputOutput::ReadPass< Lit, Pass >::pa

Definition at line 63 of file PartialAssignments.hpp.


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