OKlibrary  0.2.1.6
TransformationsBiclique Namespace Reference

Classes

class  Symmetric_conflict_number_to_SAT

Enumerations

enum  error_codes_precondition {
  correct = 0, non_positive_dimension = 1, negative_number_bicliques = 2, non_zero_diagonal = 3,
  negative_entry = 4, non_symmetric = 5
}
 Error codes for checking the inputs (the adjacency matrices and the upper bound on the number of bicliques) More...

Functions

template<class Matrix >
error_codes_precondition preconditions (const Matrix &M, const typename Matrix::index_type dim, const unsigned int max_bc)
 Free-standing function for checking validity of the input.
template<class Matrix , class Formula >
Formula::size_type number_variables_of_transformation (const Matrix &M, const typename Matrix::index_type dim, const unsigned int max_bc, Formula &F)
 Function for computing the number of variables used by the translation.
template<class Matrix , class Formula >
Formula::size_type number_clauses_of_transformation (const Matrix &M, const typename Matrix::index_type dim, const unsigned int max_bc, Formula &F)
 Function for computing the number of clauses created by the translation.

Enumeration Type Documentation

Error codes for checking the inputs (the adjacency matrices and the upper bound on the number of bicliques)

Enumerator:
correct 
non_positive_dimension 
negative_number_bicliques 
non_zero_diagonal 
negative_entry 
non_symmetric 

Definition at line 41 of file TransformationsBiclique.hpp.


Function Documentation

template<class Matrix , class Formula >
Formula::size_type TransformationsBiclique::number_clauses_of_transformation ( const Matrix &  M,
const typename Matrix::index_type  dim,
const unsigned int  max_bc,
Formula &  F 
)

Function for computing the number of clauses created by the translation.

Definition at line 81 of file TransformationsBiclique.hpp.

References correct, M, and preconditions().

Referenced by test_TransformationBiclique().

template<class Matrix , class Formula >
Formula::size_type TransformationsBiclique::number_variables_of_transformation ( const Matrix &  M,
const typename Matrix::index_type  dim,
const unsigned int  max_bc,
Formula &  F 
)

Function for computing the number of variables used by the translation.

n = 2 * max_bc * (sum of entries of M).

Definition at line 69 of file TransformationsBiclique.hpp.

References correct, and preconditions().

Referenced by test_TransformationBiclique().

template<class Matrix >
error_codes_precondition TransformationsBiclique::preconditions ( const Matrix &  M,
const typename Matrix::index_type  dim,
const unsigned int  max_bc 
)