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

#include <ConceptDefinitions.hpp>

List of all members.

Public Types

typedef Lit::Spec::VarSet VarSet

Public Member Functions

 LiteralWithVariables_concept ()
void constraints ()

Public Attributes

const Lit x

Detailed Description

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

Definition at line 464 of file ConceptDefinitions.hpp.


Member Typedef Documentation

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

Definition at line 466 of file ConceptDefinitions.hpp.


Constructor & Destructor Documentation


Member Function Documentation


Member Data Documentation


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