OKlibrary  0.2.1.6
OKlib::SATCompetition::ElementaryAnalysis< Database >::AmbigueSolution Struct Reference

#include <AnalysisTools.hpp>

Inheritance diagram for OKlib::SATCompetition::ElementaryAnalysis< Database >::AmbigueSolution:
OKlib::SATCompetition::ElementaryAnalysis< Database >::ErrorElementaryAnalysis

List of all members.

Public Member Functions

 AmbigueSolution (const ResultNode *const solution1, const ResultNode *const solution2)

Detailed Description

template<class Database>
struct OKlib::SATCompetition::ElementaryAnalysis< Database >::AmbigueSolution

Definition at line 127 of file AnalysisTools.hpp.


Constructor & Destructor Documentation

template<class Database>
OKlib::SATCompetition::ElementaryAnalysis< Database >::AmbigueSolution::AmbigueSolution ( const ResultNode *const  solution1,
const ResultNode *const  solution2 
) [inline]

Definition at line 128 of file AnalysisTools.hpp.


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