Subclass of Literal that represents a negated atom, * e.g., !parent(x,y). More...
#include <ProvenanceNegation.h>
Inheritance diagram for souffle::ast::ProvenanceNegation:
Collaboration diagram for souffle::ast::ProvenanceNegation:
Public Member Functions | |
| ProvenanceNegation * | clone () const override |
| Create a clone (i.e. More... | |
| Negation (Own< Atom > atom, SrcLocation loc={}) | |
 Public Member Functions inherited from souffle::ast::Negation | |
| void | apply (const NodeMapper &map) override |
| Apply the mapper to all child nodes. More... | |
| Atom * | getAtom () const |
| Get negated atom. More... | |
| std::vector< const Node * > | getChildNodes () const override |
| Obtain a list of all embedded AST child nodes. More... | |
| Negation (Own< Atom > atom, SrcLocation loc={}) | |
| Public Member Functions inherited from souffle::ast::Literal | |
| Node (SrcLocation loc={}) | |
| Public Member Functions inherited from souffle::ast::Node | |
| std::string | extloc () const |
| Return source location of the syntactic element. More... | |
| const SrcLocation & | getSrcLoc () const |
| Return source location of the Node. More... | |
| Node (SrcLocation loc={}) | |
| bool | operator!= (const Node &other) const |
| Inequality check for two AST nodes. More... | |
| bool | operator== (const Node &other) const |
| Equivalence check for two AST nodes. More... | |
| void | setSrcLoc (SrcLocation l) |
| Set source location for the Node. More... | |
| virtual | ~Node ()=default |
Protected Member Functions | |
| void | print (std::ostream &os) const override |
| Output to a given output stream. More... | |
| Protected Member Functions inherited from souffle::ast::Negation | |
| bool | equal (const Node &node) const override |
| Abstract equality check for two AST nodes. More... | |
Additional Inherited Members | |
| Protected Attributes inherited from souffle::ast::Negation | |
| Own< Atom > | atom |
| Negated atom. More... | |
Detailed Description
Subclass of Literal that represents a negated atom, * e.g., !parent(x,y).
A Negated atom occurs in a body of clause and cannot occur in a head of a clause.
Specialised for provenance: used for existence check that tuple doesn't already exist
Definition at line 40 of file ProvenanceNegation.h.
Member Function Documentation
◆ clone()
|
inlineoverridevirtual |
Create a clone (i.e.
deep copy) of this node
Reimplemented from souffle::ast::Negation.
Definition at line 50 of file ProvenanceNegation.h.
◆ Negation()
|
inline |
Definition at line 52 of file Negation.h.
◆ print()
|
inlineoverrideprotectedvirtual |
Output to a given output stream.
Reimplemented from souffle::ast::Negation.
Definition at line 55 of file ProvenanceNegation.h.
The documentation for this class was generated from the following file:
