OKlibrary  0.2.1.6
Clauses::ClAsSets< Literal, Comp >::Tautological_clause Struct Reference

#include <Clauses.hpp>

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

List of all members.

Public Member Functions

 Tautological_clause (const std::string &what)

Detailed Description

template<class Literal, class Comp = std::less<Literal>>
struct Clauses::ClAsSets< Literal, Comp >::Tautological_clause

Definition at line 49 of file Clauses.hpp.


Constructor & Destructor Documentation

template<class Literal , class Comp = std::less<Literal>>
Clauses::ClAsSets< Literal, Comp >::Tautological_clause::Tautological_clause ( const std::string &  what) [inline]

Definition at line 50 of file Clauses.hpp.


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