OKlibrary  0.2.1.6
OKlib::Satisfiability::Reductions::KLevelForcedAssignments::CLSAdaptorKUcp< WatchedClauses, Assignment > Class Template Reference

Transferring a (boolean) clause-set into a clause-list, and then performing r_k-reduction. More...

#include <GeneralisedUCP.hpp>

Inheritance diagram for OKlib::Satisfiability::Reductions::KLevelForcedAssignments::CLSAdaptorKUcp< WatchedClauses, Assignment >:
OKlib::Satisfiability::Reductions::UnitClausePropagation::CLSAdaptorUcpW< WatchedClauses, Assignment >

List of all members.

Public Types

typedef
OKlib::Satisfiability::Reductions::UnitClausePropagation::CLSAdaptorUcpW
< WatchedClauses, Assignment > 
base_class

Public Member Functions

bool perform_kucp (const typename base_class::size_type k)

Detailed Description

template<class WatchedClauses, class Assignment>
class OKlib::Satisfiability::Reductions::KLevelForcedAssignments::CLSAdaptorKUcp< WatchedClauses, Assignment >

Transferring a (boolean) clause-set into a clause-list, and then performing r_k-reduction.

For the Maxima-specification see generalised_ucp_cs in ComputerAlgebra/Satisfiability/Lisp/Reductions/GeneralisedUCP.mac.

Requirements:

  • the literal type is a signed integral type
Todo:
Complete implementation
Todo:
Write unit-tests

Definition at line 55 of file GeneralisedUCP.hpp.


Member Typedef Documentation

template<class WatchedClauses , class Assignment >
typedef OKlib::Satisfiability::Reductions::UnitClausePropagation::CLSAdaptorUcpW<WatchedClauses,Assignment> OKlib::Satisfiability::Reductions::KLevelForcedAssignments::CLSAdaptorKUcp< WatchedClauses, Assignment >::base_class

Definition at line 56 of file GeneralisedUCP.hpp.


Member Function Documentation

template<class WatchedClauses , class Assignment >
bool OKlib::Satisfiability::Reductions::KLevelForcedAssignments::CLSAdaptorKUcp< WatchedClauses, Assignment >::perform_kucp ( const typename base_class::size_type  k) [inline]

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