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

#include <ConceptDefinitions.hpp>

List of all members.

Public Types

typedef Lit::Spec Spec
typedef Lit::VarSet VarSet
typedef Spec::Dom Dom
typedef Spec::Var Var

Public Member Functions

 ValueLiteral_concept ()
void constraints ()

Public Attributes

const Var v
const Dom d
Lit x
const Lit y

Detailed Description

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

Definition at line 488 of file ConceptDefinitions.hpp.


Member Typedef Documentation

template<class Lit >
typedef Spec::Dom ConceptDefinitions::ValueLiteral_concept< Lit >::Dom

Definition at line 492 of file ConceptDefinitions.hpp.

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

Definition at line 490 of file ConceptDefinitions.hpp.

template<class Lit >
typedef Spec::Var ConceptDefinitions::ValueLiteral_concept< Lit >::Var

Definition at line 493 of file ConceptDefinitions.hpp.

template<class Lit >
typedef Lit::VarSet ConceptDefinitions::ValueLiteral_concept< Lit >::VarSet

Definition at line 491 of file ConceptDefinitions.hpp.


Constructor & Destructor Documentation


Member Function Documentation


Member Data Documentation

template<class Lit >
const Lit ConceptDefinitions::ValueLiteral_concept< Lit >::y

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