OKlibrary  0.2.1.6
ConceptDefinitions::SetOfVariables_concept< VarSet > Struct Template Reference

#include <ConceptDefinitions.hpp>

List of all members.

Public Types

typedef VarSet::Concept Concept
typedef VarSet::Var Var
typedef VarSet::iterator iterator
typedef VarSet::const_iterator const_iterator
typedef VarSet::size_type size_type

Public Member Functions

 SetOfVariables_concept ()
void constraints ()

Public Attributes

VarSet vs
const Var v
const VarSet cvs

Detailed Description

template<class VarSet>
struct ConceptDefinitions::SetOfVariables_concept< VarSet >

Definition at line 335 of file ConceptDefinitions.hpp.


Member Typedef Documentation

template<class VarSet >
typedef VarSet::Concept ConceptDefinitions::SetOfVariables_concept< VarSet >::Concept

Definition at line 337 of file ConceptDefinitions.hpp.

template<class VarSet >
typedef VarSet::const_iterator ConceptDefinitions::SetOfVariables_concept< VarSet >::const_iterator

Definition at line 340 of file ConceptDefinitions.hpp.

template<class VarSet >
typedef VarSet::iterator ConceptDefinitions::SetOfVariables_concept< VarSet >::iterator

Definition at line 339 of file ConceptDefinitions.hpp.

template<class VarSet >
typedef VarSet::size_type ConceptDefinitions::SetOfVariables_concept< VarSet >::size_type

Definition at line 341 of file ConceptDefinitions.hpp.

template<class VarSet >
typedef VarSet::Var ConceptDefinitions::SetOfVariables_concept< VarSet >::Var

Definition at line 338 of file ConceptDefinitions.hpp.


Constructor & Destructor Documentation


Member Function Documentation


Member Data Documentation

template<class VarSet >
const VarSet ConceptDefinitions::SetOfVariables_concept< VarSet >::cvs
template<class VarSet >
VarSet ConceptDefinitions::SetOfVariables_concept< VarSet >::vs

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