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

#include <TransformationsBiclique.hpp>

List of all members.

Public Member Functions

 Conflict (Node_index i, Node_index j, Parallel_edges_index k)

Public Attributes

Node_index i
Node_index j
Parallel_edges_index k

Friends

bool operator< (const Conflict a, const Conflict b)

Detailed Description

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

Definition at line 444 of file TransformationsBiclique.hpp.


Constructor & Destructor Documentation

template<class Matrix, class Formula>
TransformationsBiclique::Symmetric_conflict_number_to_SAT< Matrix, Formula >::Conflict::Conflict ( Node_index  i,
Node_index  j,
Parallel_edges_index  k 
) [inline]

Definition at line 448 of file TransformationsBiclique.hpp.


Friends And Related Function Documentation

template<class Matrix, class Formula>
bool operator< ( const Conflict  a,
const Conflict  b 
) [friend]

Definition at line 449 of file TransformationsBiclique.hpp.


Member Data Documentation


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