OKlibrary  0.2.1.6
Ramsey::Ramsey_TwoColours_1< Int > Class Template Reference

Outputs a Ramsey SAT-instance for two colours and arbitrary hyperedge size. More...

#include <Ramsey.hpp>

List of all members.

Public Types

typedef enumeration_type::size_type size_type

Public Member Functions

 Ramsey_TwoColours_1 (const size_type q1, const size_type q2, const size_type r, const size_type N, std::ostream &out)
void operator() ()
virtual ~Ramsey_TwoColours_1 ()

Public Attributes

const size_type q1
const size_type q2
const size_type r
const size_type N
const size_type number_vertices_hypergraph
const size_type size_hyperedges1
const size_type size_hyperedges2
const size_type number_hyperedges1
const size_type number_hyperedges2
const size_type n
const size_type c

Protected Types

typedef
enumeration_type::hyperedge_type 
hyperedge_type
typedef enumeration_type::edge_type edge_type

Protected Member Functions

std::string var (const edge_type &v) const
virtual std::string neg (const std::string &var) const
virtual std::string eoc () const

Detailed Description

template<typename Int = unsigned int>
class Ramsey::Ramsey_TwoColours_1< Int >

Outputs a Ramsey SAT-instance for two colours and arbitrary hyperedge size.

For the diagonal case (q1=q2=q) this corresponds to output_ramsey2_stdname(q,r,N) in ComputerAlgebra/Satisfiability/Lisp/Generators/RamseyTheory/RamseyProblems.mac.

Todo:
Use components from module InputOutput.

Definition at line 130 of file Ramsey.hpp.


Member Typedef Documentation

template<typename Int = unsigned int>
typedef enumeration_type::edge_type Ramsey::Ramsey_TwoColours_1< Int >::edge_type [protected]

Definition at line 191 of file Ramsey.hpp.

template<typename Int = unsigned int>
typedef enumeration_type::hyperedge_type Ramsey::Ramsey_TwoColours_1< Int >::hyperedge_type [protected]

Definition at line 190 of file Ramsey.hpp.

template<typename Int = unsigned int>
typedef enumeration_type::size_type Ramsey::Ramsey_TwoColours_1< Int >::size_type

Definition at line 134 of file Ramsey.hpp.


Constructor & Destructor Documentation

template<typename Int = unsigned int>
Ramsey::Ramsey_TwoColours_1< Int >::Ramsey_TwoColours_1 ( const size_type  q1,
const size_type  q2,
const size_type  r,
const size_type  N,
std::ostream &  out 
) [inline]

Definition at line 149 of file Ramsey.hpp.

template<typename Int = unsigned int>
virtual Ramsey::Ramsey_TwoColours_1< Int >::~Ramsey_TwoColours_1 ( ) [inline, virtual]

Definition at line 159 of file Ramsey.hpp.


Member Function Documentation

template<typename Int = unsigned int>
virtual std::string Ramsey::Ramsey_TwoColours_1< Int >::eoc ( ) const [inline, protected, virtual]

Definition at line 204 of file Ramsey.hpp.

template<typename Int = unsigned int>
virtual std::string Ramsey::Ramsey_TwoColours_1< Int >::neg ( const std::string &  var) const [inline, protected, virtual]

Definition at line 201 of file Ramsey.hpp.

References Ramsey::Ramsey_TwoColours_1< Int >::var().

template<typename Int = unsigned int>
void Ramsey::Ramsey_TwoColours_1< Int >::operator() ( ) [inline]

Definition at line 154 of file Ramsey.hpp.

template<typename Int = unsigned int>
std::string Ramsey::Ramsey_TwoColours_1< Int >::var ( const edge_type v) const [inline, protected]

Definition at line 192 of file Ramsey.hpp.

References Ramsey::Ramsey_TwoColours_1< Int >::r, and s.

Referenced by Ramsey::Ramsey_TwoColours_1< Int >::neg().


Member Data Documentation

template<typename Int = unsigned int>
const size_type Ramsey::Ramsey_TwoColours_1< Int >::c

Definition at line 146 of file Ramsey.hpp.

template<typename Int = unsigned int>
const size_type Ramsey::Ramsey_TwoColours_1< Int >::N

Definition at line 137 of file Ramsey.hpp.

template<typename Int = unsigned int>
const size_type Ramsey::Ramsey_TwoColours_1< Int >::n

Definition at line 145 of file Ramsey.hpp.

template<typename Int = unsigned int>
const size_type Ramsey::Ramsey_TwoColours_1< Int >::number_hyperedges1

Definition at line 144 of file Ramsey.hpp.

template<typename Int = unsigned int>
const size_type Ramsey::Ramsey_TwoColours_1< Int >::number_hyperedges2

Definition at line 144 of file Ramsey.hpp.

template<typename Int = unsigned int>
const size_type Ramsey::Ramsey_TwoColours_1< Int >::number_vertices_hypergraph

Definition at line 142 of file Ramsey.hpp.

template<typename Int = unsigned int>
const size_type Ramsey::Ramsey_TwoColours_1< Int >::q1

Definition at line 135 of file Ramsey.hpp.

template<typename Int = unsigned int>
const size_type Ramsey::Ramsey_TwoColours_1< Int >::q2

Definition at line 135 of file Ramsey.hpp.

template<typename Int = unsigned int>
const size_type Ramsey::Ramsey_TwoColours_1< Int >::r

Definition at line 136 of file Ramsey.hpp.

Referenced by Ramsey::Ramsey_TwoColours_1< Int >::var().

template<typename Int = unsigned int>
const size_type Ramsey::Ramsey_TwoColours_1< Int >::size_hyperedges1

Definition at line 143 of file Ramsey.hpp.

template<typename Int = unsigned int>
const size_type Ramsey::Ramsey_TwoColours_1< Int >::size_hyperedges2

Definition at line 143 of file Ramsey.hpp.


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