souffle
2.0.2-371-g6315b36
|
Public Member Functions | |
literal | clone () const |
literal (bool negated, Own< ast::Literal > atom) | |
Data Fields | |
Own< ast::Literal > | atom |
bool | negated |
Definition at line 70 of file ParserUtils.h.
|
inline |
Definition at line 71 of file ParserUtils.h.
|
inline |
Definition at line 79 of file ParserUtils.h.
Own<ast::Literal> souffle::RuleBody::literal::atom |
Definition at line 77 of file ParserUtils.h.
bool souffle::RuleBody::literal::negated |
Definition at line 74 of file ParserUtils.h.
Referenced by souffle::RuleBody::negated().