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

enum TransformationsBiclique::error_codes_precondition

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
	)

Free-standing function for checking validity of the input.

Definition at line 47 of file TransformationsBiclique.hpp.

References correct, M, negative_entry, negative_number_bicliques, non_positive_dimension, non_symmetric, and non_zero_diagonal.

Referenced by number_clauses_of_transformation(), number_variables_of_transformation(), and TransformationsBiclique::Symmetric_conflict_number_to_SAT< Matrix, Formula >::Symmetric_conflict_number_to_SAT().