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

#include <ConceptDefinitions.hpp>

List of all members.

Public Types

typedef Lit::Concept Concept
typedef Lit::Spec Spec

Public Member Functions

 GeneralLiteral_concept ()
void constraints ()

Public Attributes

const Spec phi
const Lit x
Lit y

Detailed Description

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

Definition at line 431 of file ConceptDefinitions.hpp.


Member Typedef Documentation

template<class Lit >
typedef Lit::Concept ConceptDefinitions::GeneralLiteral_concept< Lit >::Concept

Definition at line 433 of file ConceptDefinitions.hpp.

template<class Lit >
typedef Lit::Spec ConceptDefinitions::GeneralLiteral_concept< Lit >::Spec

Definition at line 434 of file ConceptDefinitions.hpp.


Constructor & Destructor Documentation


Member Function Documentation


Member Data Documentation

template<class Lit >
const Lit ConceptDefinitions::GeneralLiteral_concept< Lit >::x

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