#include <Relation.h>
Inheritance diagram for souffle::synthesiser::NullaryRelation:
Collaboration diagram for souffle::synthesiser::NullaryRelation:
Public Member Functions | |
| void | computeIndices () override |
| Generate index set for a nullary relation, which should be empty. More... | |
| void | generateTypeStruct (std::ostream &out) override |
| Generate type struct of a nullary relation, which is empty, the actual implementation is in CompiledSouffle.h. More... | |
| std::string | getTypeName () override |
| Generate type name of a nullary relation. More... | |
| NullaryRelation (const ram::Relation &ramRel, const MinIndexSelection &indexSet, bool isProvenance) | |
 Public Member Functions inherited from souffle::ram::Relation | |
| Relation * | clone () const override |
| Create a clone (i.e. More... | |
| unsigned | getArity () const |
| Get arity of relation. More... | |
| const std::vector< std::string > & | getAttributeNames () const |
| Get attribute names. More... | |
| const std::vector< std::string > & | getAttributeTypes () const |
| Get attribute types. More... | |
| unsigned | getAuxiliaryArity () const |
| Get number of auxiliary attributes. More... | |
| const std::string & | getName () const |
| Get name. More... | |
| RelationRepresentation | getRepresentation () const |
| Relation representation type. More... | |
| bool | isNullary () const |
| Is nullary relation. More... | |
| bool | isTemp () const |
| Is temporary relation (for semi-naive evaluation) More... | |
| bool | operator< (const Relation &other) const |
| Compare two relations via their name. More... | |
| Relation (std::string name, size_t arity, size_t auxiliaryArity, std::vector< std::string > attributeNames, std::vector< std::string > attributeTypes, RelationRepresentation representation) | |
| Public Member Functions inherited from souffle::ram::Node | |
| virtual void | apply (const NodeMapper &) |
| Apply the mapper to all child nodes. More... | |
| virtual std::vector< const Node * > | getChildNodes () const |
| Obtain list of all embedded child nodes. More... | |
| bool | operator!= (const Node &other) const |
| Inequality check for two RAM nodes. More... | |
| bool | operator== (const Node &other) const |
| Equivalence check for two RAM nodes. More... | |
| virtual void | rewrite (const Node *oldNode, Own< Node > newNode) |
| Rewrite a child node. More... | |
| virtual | ~Node ()=default |
Additional Inherited Members | |
| Protected Member Functions inherited from souffle::ram::Relation | |
| bool | equal (const Node &node) const override |
| Equality check for two RAM nodes. More... | |
| void | print (std::ostream &out) const override |
| Print RAM node. More... | |
| Protected Attributes inherited from souffle::ram::Relation | |
| const size_t | arity |
| Arity, i.e., number of attributes. More... | |
| const std::vector< std::string > | attributeNames |
| Name of attributes. More... | |
| const std::vector< std::string > | attributeTypes |
| Type of attributes. More... | |
| const size_t | auxiliaryArity |
| Number of auxiliary attributes (e.g. More... | |
| const std::string | name |
| Name of relation. More... | |
| const RelationRepresentation | representation |
| Data-structure representation. More... | |
Detailed Description
Definition at line 104 of file Relation.h.
Constructor & Destructor Documentation
◆ NullaryRelation()
|
inline |
Definition at line 106 of file Relation.h.
Member Function Documentation
◆ computeIndices()
|
override |
Generate index set for a nullary relation, which should be empty.
Definition at line 99 of file Relation.cpp.
◆ generateTypeStruct()
|
override |
Generate type struct of a nullary relation, which is empty, the actual implementation is in CompiledSouffle.h.
Definition at line 110 of file Relation.cpp.
◆ getTypeName()
|
override |
Generate type name of a nullary relation.
Definition at line 104 of file Relation.cpp.
The documentation for this class was generated from the following files:
- synthesiser/Relation.h
- synthesiser/Relation.cpp
