OKlib::Satisfiability::Assignments::TotalAssignments::BAssignmentWithRQueue< Lit > Class Template Reference

Boolean assignments with resettable queue for (elementary) assignments to be processed. More...

#include <AssignmentsWithBuffer.hpp>

Inheritance diagram for OKlib::Satisfiability::Assignments::TotalAssignments::BAssignmentWithRQueue< Lit >:

List of all members.

Public Member Functions
	BAssignmentWithRQueue (const typename base_class::index_type n)
bool	push_forced (const typename base_class::literal_type x)
bool	push_free (const typename base_class::literal_type x)
void	reset ()

---

Detailed Description

template<typename Lit>
class OKlib::Satisfiability::Assignments::TotalAssignments::BAssignmentWithRQueue< Lit >

Boolean assignments with resettable queue for (elementary) assignments to be processed.

Todo:

Complete.

Definition at line 162 of file AssignmentsWithBuffer.hpp.

---

Constructor & Destructor Documentation

template<typename Lit >

OKlib::Satisfiability::Assignments::TotalAssignments::BAssignmentWithRQueue< Lit >::BAssignmentWithRQueue

(

const typename base_class::index_type

n

)

[inline]

Definition at line 166 of file AssignmentsWithBuffer.hpp.

---

Member Function Documentation

template<typename Lit >

bool OKlib::Satisfiability::Assignments::TotalAssignments::BAssignmentWithRQueue< Lit >::push_forced

(

const typename base_class::literal_type

x

)

[inline]

Definition at line 168 of file AssignmentsWithBuffer.hpp.

References OKlib::Satisfiability::Assignments::TotalAssignments::BAssignmentWithQueue< Lit >::push().

Referenced by OKlib::Satisfiability::Assignments::TotalAssignments::BAssignmentWithRQueue< Lit >::push_free().

template<typename Lit >

bool OKlib::Satisfiability::Assignments::TotalAssignments::BAssignmentWithRQueue< Lit >::push_free

(

const typename base_class::literal_type

x

)

[inline]

Definition at line 171 of file AssignmentsWithBuffer.hpp.

References OKlib::Satisfiability::Assignments::TotalAssignments::BAssignmentWithRQueue< Lit >::push_forced().

template<typename Lit >

void OKlib::Satisfiability::Assignments::TotalAssignments::BAssignmentWithRQueue< Lit >::reset

(

)

[inline]

Definition at line 177 of file AssignmentsWithBuffer.hpp.

---

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

• Satisfiability/Assignments/TotalAssignments/AssignmentsWithBuffer.hpp