OKlibrary  0.2.1.6
ConceptDefinitions::ValueLiteralWithInfo_concept< Lit > Struct Template Reference

#include <ConceptDefinitions.hpp>

List of all members.

Public Types

typedef Lit::value_type value_type
typedef Lit::reference reference

Public Member Functions

 ValueLiteralWithInfo_concept ()
void constraints ()

Public Attributes

Lit x

Detailed Description

template<class Lit>
struct ConceptDefinitions::ValueLiteralWithInfo_concept< Lit >

Definition at line 516 of file ConceptDefinitions.hpp.


Member Typedef Documentation

template<class Lit >
typedef Lit::reference ConceptDefinitions::ValueLiteralWithInfo_concept< Lit >::reference

Definition at line 519 of file ConceptDefinitions.hpp.

template<class Lit >
typedef Lit::value_type ConceptDefinitions::ValueLiteralWithInfo_concept< Lit >::value_type

Definition at line 518 of file ConceptDefinitions.hpp.


Constructor & Destructor Documentation


Member Function Documentation

template<class Lit >
void ConceptDefinitions::ValueLiteralWithInfo_concept< Lit >::constraints ( ) [inline]

Definition at line 520 of file ConceptDefinitions.hpp.


Member Data Documentation

template<class Lit >
Lit ConceptDefinitions::ValueLiteralWithInfo_concept< Lit >::x

Definition at line 525 of file ConceptDefinitions.hpp.


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