OKlibrary  0.2.1.6
TransformationsBiclique::Symmetric_conflict_number_to_SAT< Matrix, Formula > Class Template Reference

#include <TransformationsBiclique.hpp>

List of all members.

Classes

struct  Biclique_side
struct  Conflict

Public Types

enum  Side { left, right }
typedef Matrix Mat
typedef Formula Form
typedef unsigned int Biclique_index
typedef Mat::index_type Node_index
typedef Mat::value_type Parallel_edges_index
typedef Formula::size_type Conflict_index

Public Member Functions

std::string var (const Conflict &c, const Biclique_side b) const
 Symmetric_conflict_number_to_SAT (const Matrix &M, const Biclique_index max_bc, Formula &F)
 ~Symmetric_conflict_number_to_SAT ()

Public Attributes

const Conflict_index number_of_conflicts
const Conflict_index number_of_variables

Detailed Description

template<class Matrix, class Formula>
class TransformationsBiclique::Symmetric_conflict_number_to_SAT< Matrix, Formula >

Definition at line 423 of file TransformationsBiclique.hpp.


Member Typedef Documentation

template<class Matrix, class Formula>
typedef unsigned int TransformationsBiclique::Symmetric_conflict_number_to_SAT< Matrix, Formula >::Biclique_index

Definition at line 431 of file TransformationsBiclique.hpp.

template<class Matrix, class Formula>
typedef Formula::size_type TransformationsBiclique::Symmetric_conflict_number_to_SAT< Matrix, Formula >::Conflict_index

Definition at line 464 of file TransformationsBiclique.hpp.

template<class Matrix, class Formula>
typedef Formula TransformationsBiclique::Symmetric_conflict_number_to_SAT< Matrix, Formula >::Form

Definition at line 429 of file TransformationsBiclique.hpp.

template<class Matrix, class Formula>
typedef Matrix TransformationsBiclique::Symmetric_conflict_number_to_SAT< Matrix, Formula >::Mat

Definition at line 428 of file TransformationsBiclique.hpp.

template<class Matrix, class Formula>
typedef Mat::index_type TransformationsBiclique::Symmetric_conflict_number_to_SAT< Matrix, Formula >::Node_index

Definition at line 441 of file TransformationsBiclique.hpp.

template<class Matrix, class Formula>
typedef Mat::value_type TransformationsBiclique::Symmetric_conflict_number_to_SAT< Matrix, Formula >::Parallel_edges_index

Definition at line 442 of file TransformationsBiclique.hpp.


Member Enumeration Documentation

template<class Matrix, class Formula>
enum TransformationsBiclique::Symmetric_conflict_number_to_SAT::Side
Enumerator:
left 
right 

Definition at line 434 of file TransformationsBiclique.hpp.


Constructor & Destructor Documentation

template<class Matrix, class Formula>
TransformationsBiclique::Symmetric_conflict_number_to_SAT< Matrix, Formula >::Symmetric_conflict_number_to_SAT ( const Matrix &  M,
const Biclique_index  max_bc,
Formula &  F 
) [inline]
template<class Matrix, class Formula>
TransformationsBiclique::Symmetric_conflict_number_to_SAT< Matrix, Formula >::~Symmetric_conflict_number_to_SAT ( ) [inline]

Definition at line 493 of file TransformationsBiclique.hpp.


Member Function Documentation


Member Data Documentation

template<class Matrix, class Formula>
const Conflict_index TransformationsBiclique::Symmetric_conflict_number_to_SAT< Matrix, Formula >::number_of_conflicts

Definition at line 465 of file TransformationsBiclique.hpp.

Referenced by test_TransformationBiclique().

template<class Matrix, class Formula>
const Conflict_index TransformationsBiclique::Symmetric_conflict_number_to_SAT< Matrix, Formula >::number_of_variables

Definition at line 500 of file TransformationsBiclique.hpp.

Referenced by test_TransformationBiclique().


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