DLL_Algorithms::Result Struct Reference

#include <DLL_Algorithms.hpp>

List of all members.

Public Member Functions
	Result (bool s, const PartAssignments::Pass &p=PartAssignments::Pass(), std::string i="")
Public Attributes
bool	sat
PartAssignments::Pass	phi
std::string	info

---

Detailed Description

Definition at line 24 of file DLL_Algorithms.hpp.

---

Constructor & Destructor Documentation

DLL_Algorithms::Result::Result	(	bool	s,
		const PartAssignments::Pass &	p = PartAssignments::Pass(),
		std::string	i = ""
	)		[inline]

Definition at line 28 of file DLL_Algorithms.hpp.

References info, phi, s, and sat.

---

Member Data Documentation

std::string DLL_Algorithms::Result::info

Definition at line 27 of file DLL_Algorithms.hpp.

Referenced by Result().

PartAssignments::Pass DLL_Algorithms::Result::phi

Definition at line 26 of file DLL_Algorithms.hpp.

Referenced by Result().

bool DLL_Algorithms::Result::sat

Definition at line 25 of file DLL_Algorithms.hpp.

Referenced by main(), and Result().

---

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

• Satisfiability/Algorithms/Backtracking/DLL_Algorithms.hpp