souffle  2.0.2-371-g6315b36
Public Member Functions | Data Fields
souffle::RuleBody::literal Struct Reference
Collaboration diagram for souffle::RuleBody::literal:
Collaboration graph

Public Member Functions

literal clone () const
 
 literal (bool negated, Own< ast::Literal > atom)
 

Data Fields

Own< ast::Literalatom
 
bool negated
 

Detailed Description

Definition at line 70 of file ParserUtils.h.

Constructor & Destructor Documentation

◆ literal()

souffle::RuleBody::literal::literal ( bool  negated,
Own< ast::Literal atom 
)
inline

Definition at line 71 of file ParserUtils.h.

Member Function Documentation

◆ clone()

literal souffle::RuleBody::literal::clone ( ) const
inline

Definition at line 79 of file ParserUtils.h.

Field Documentation

◆ atom

Own<ast::Literal> souffle::RuleBody::literal::atom

Definition at line 77 of file ParserUtils.h.

◆ negated

bool souffle::RuleBody::literal::negated

Definition at line 74 of file ParserUtils.h.

Referenced by souffle::RuleBody::negated().


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