OKlibrary  0.2.1.6
ConceptDefinitions::LiteralWithVariables_tag Struct Reference

#include <ConceptDefinitions.hpp>

Inheritance diagram for ConceptDefinitions::LiteralWithVariables_tag:
ConceptDefinitions::GeneralLiteral_tag ConceptDefinitions::AtomicLiteral_tag ConceptDefinitions::ValueLiteral_tag ConceptDefinitions::ValueLiteralWithInfo_tag

Detailed Description

Definition at line 474 of file ConceptDefinitions.hpp.


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