OKlibrary  0.2.1.6
Clauses::Error_Clauses Struct Reference

#include <Clauses.hpp>

Inheritance diagram for Clauses::Error_Clauses:
ErrorHandling::Error Clauses::ClAsSets< Literal, Comp >::Tautological_clause

List of all members.

Public Member Functions

 Error_Clauses (const std::string &what)

Detailed Description

Definition at line 28 of file Clauses.hpp.


Constructor & Destructor Documentation

Clauses::Error_Clauses::Error_Clauses ( const std::string &  what) [inline]

Definition at line 29 of file Clauses.hpp.

References ErrorHandling::Error::Error().


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