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

#include <ConceptDefinitions.hpp>

List of all members.

Public Types

typedef Lit::Spec::VarSet VarSet

Public Member Functions

 AtomicLiteral_concept ()
void constraints ()

Detailed Description

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

Definition at line 477 of file ConceptDefinitions.hpp.


Member Typedef Documentation

template<class Lit >
typedef Lit::Spec::VarSet ConceptDefinitions::AtomicLiteral_concept< Lit >::VarSet

Definition at line 479 of file ConceptDefinitions.hpp.


Constructor & Destructor Documentation


Member Function Documentation

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

Definition at line 480 of file ConceptDefinitions.hpp.


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