OKlibrary  0.2.1.6
ConceptDefinitions::BasicPartialAssignment_concept< PartAssig > Struct Template Reference

#include <ConceptDefinitions.hpp>

List of all members.

Public Types

typedef PartAssig::Var Var
typedef PartAssig::Dom Dom

Public Member Functions

 BasicPartialAssignment_concept ()
void constraints ()

Public Attributes

PartAssig phi
const PartAssig psi
Var v

Detailed Description

template<class PartAssig>
struct ConceptDefinitions::BasicPartialAssignment_concept< PartAssig >

Definition at line 405 of file ConceptDefinitions.hpp.


Member Typedef Documentation

template<class PartAssig >
typedef PartAssig::Dom ConceptDefinitions::BasicPartialAssignment_concept< PartAssig >::Dom

Definition at line 408 of file ConceptDefinitions.hpp.

template<class PartAssig >
typedef PartAssig::Var ConceptDefinitions::BasicPartialAssignment_concept< PartAssig >::Var

Definition at line 407 of file ConceptDefinitions.hpp.


Constructor & Destructor Documentation


Member Function Documentation


Member Data Documentation

template<class PartAssig >
const PartAssig ConceptDefinitions::BasicPartialAssignment_concept< PartAssig >::psi

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