OKlibrary  0.2.1.6
ConceptDefinitions::SpecifierWithVariables_concept< Spec > Struct Template Reference

#include <ConceptDefinitions.hpp>

List of all members.

Public Types

typedef Spec::VarSet VarSet

Public Member Functions

 SpecifierWithVariables_concept ()
void constraints ()

Public Attributes

Spec phi

Detailed Description

template<class Spec>
struct ConceptDefinitions::SpecifierWithVariables_concept< Spec >

Definition at line 392 of file ConceptDefinitions.hpp.


Member Typedef Documentation

template<class Spec >
typedef Spec::VarSet ConceptDefinitions::SpecifierWithVariables_concept< Spec >::VarSet

Definition at line 394 of file ConceptDefinitions.hpp.


Constructor & Destructor Documentation


Member Function Documentation


Member Data Documentation


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