OKlibrary  0.2.1.6
OKlib::Satisfiability::Transformers::Generators::VanderWaerden_TwoParts_1< UInt, APit > Class Template Reference

Creation of vdW-SAT-problems for mixed binary problems. More...

#include <VanderWaerdenCNF.hpp>

List of all members.

Public Types

typedef UInt Index
typedef APit< IndexArithProg

Public Member Functions

 VanderWaerden_TwoParts_1 (const Index k, const Index k2, const Index n, std::ostream &out)
void operator() ()
 output of clause-set to out
virtual ~VanderWaerden_TwoParts_1 ()

Public Attributes

const Index k
 first size of arithmetic progression
const Index k2
 second size of arithmetic progression
const Index n
 number of vertices (size of counter-example)
const Index c
 total number of clauses

Protected Member Functions

std::string var (const Index v) const
 index to variable
virtual std::string neg (const std::string &var) const
 negated variable
virtual std::string eoc () const
 end-of-clause

Detailed Description

template<typename UInt, template< typename > class APit>
class OKlib::Satisfiability::Transformers::Generators::VanderWaerden_TwoParts_1< UInt, APit >

Creation of vdW-SAT-problems for mixed binary problems.

Deprecated:
Old style

The Maxima-specification is output_vanderwaerden2nd_stdname(k1,k2,n) in ComputerAlgebra/Satisfiability/Lisp/Generators/RamseyTheory/VanderWaerdenProblems.mac, when using APit = Combinatorics::Hypergraphs::Generators::Arithmetical_progressions_colex.

Usage:

Definition at line 52 of file VanderWaerdenCNF.hpp.


Member Typedef Documentation

template<typename UInt , template< typename > class APit>
typedef APit<Index> OKlib::Satisfiability::Transformers::Generators::VanderWaerden_TwoParts_1< UInt, APit >::ArithProg

Definition at line 55 of file VanderWaerdenCNF.hpp.

template<typename UInt , template< typename > class APit>
typedef UInt OKlib::Satisfiability::Transformers::Generators::VanderWaerden_TwoParts_1< UInt, APit >::Index

Definition at line 54 of file VanderWaerdenCNF.hpp.


Constructor & Destructor Documentation

template<typename UInt , template< typename > class APit>
OKlib::Satisfiability::Transformers::Generators::VanderWaerden_TwoParts_1< UInt, APit >::VanderWaerden_TwoParts_1 ( const Index  k,
const Index  k2,
const Index  n,
std::ostream &  out 
) [inline]

Definition at line 72 of file VanderWaerdenCNF.hpp.

template<typename UInt , template< typename > class APit>
virtual OKlib::Satisfiability::Transformers::Generators::VanderWaerden_TwoParts_1< UInt, APit >::~VanderWaerden_TwoParts_1 ( ) [inline, virtual]

Definition at line 89 of file VanderWaerdenCNF.hpp.


Member Function Documentation

template<typename UInt , template< typename > class APit>
virtual std::string OKlib::Satisfiability::Transformers::Generators::VanderWaerden_TwoParts_1< UInt, APit >::eoc ( ) const [inline, protected, virtual]

end-of-clause

Definition at line 132 of file VanderWaerdenCNF.hpp.

template<typename UInt , template< typename > class APit>
virtual std::string OKlib::Satisfiability::Transformers::Generators::VanderWaerden_TwoParts_1< UInt, APit >::neg ( const std::string &  var) const [inline, protected, virtual]
template<typename UInt , template< typename > class APit>
void OKlib::Satisfiability::Transformers::Generators::VanderWaerden_TwoParts_1< UInt, APit >::operator() ( ) [inline]

output of clause-set to out

Definition at line 84 of file VanderWaerdenCNF.hpp.

template<typename UInt , template< typename > class APit>
std::string OKlib::Satisfiability::Transformers::Generators::VanderWaerden_TwoParts_1< UInt, APit >::var ( const Index  v) const [inline, protected]

Member Data Documentation

template<typename UInt , template< typename > class APit>
const Index OKlib::Satisfiability::Transformers::Generators::VanderWaerden_TwoParts_1< UInt, APit >::c

total number of clauses

Definition at line 68 of file VanderWaerdenCNF.hpp.

template<typename UInt , template< typename > class APit>
const Index OKlib::Satisfiability::Transformers::Generators::VanderWaerden_TwoParts_1< UInt, APit >::k

first size of arithmetic progression

Definition at line 57 of file VanderWaerdenCNF.hpp.

template<typename UInt , template< typename > class APit>
const Index OKlib::Satisfiability::Transformers::Generators::VanderWaerden_TwoParts_1< UInt, APit >::k2

second size of arithmetic progression

Definition at line 59 of file VanderWaerdenCNF.hpp.

template<typename UInt , template< typename > class APit>
const Index OKlib::Satisfiability::Transformers::Generators::VanderWaerden_TwoParts_1< UInt, APit >::n

number of vertices (size of counter-example)

Definition at line 61 of file VanderWaerdenCNF.hpp.


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