OKlibrary  0.2.1.6
TransformationsBiclique::Symmetric_conflict_number_to_SAT< Matrix, Formula >::Biclique_side Struct Reference

#include <TransformationsBiclique.hpp>

List of all members.

Public Member Functions

 Biclique_side (Biclique_index i, Side s)

Public Attributes

Biclique_index i
Side s

Detailed Description

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

Definition at line 435 of file TransformationsBiclique.hpp.


Constructor & Destructor Documentation

template<class Matrix, class Formula>
TransformationsBiclique::Symmetric_conflict_number_to_SAT< Matrix, Formula >::Biclique_side::Biclique_side ( Biclique_index  i,
Side  s 
) [inline]

Definition at line 438 of file TransformationsBiclique.hpp.


Member Data Documentation

template<class Matrix, class Formula>
Side TransformationsBiclique::Symmetric_conflict_number_to_SAT< Matrix, Formula >::Biclique_side::s

Definition at line 437 of file TransformationsBiclique.hpp.


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