souffle  2.0.2-371-g6315b36
Public Member Functions | Protected Member Functions
souffle::ram::True Class Reference

False value condition. More...

#include <True.h>

Inheritance diagram for souffle::ram::True:
Inheritance graph
Collaboration diagram for souffle::ram::True:
Collaboration graph

Public Member Functions

Trueclone () const override
 Create a clone (i.e. More...
 
- 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
 

Protected Member Functions

void print (std::ostream &os) const override
 Print RAM node. More...
 
- Protected Member Functions inherited from souffle::ram::Node
virtual bool equal (const Node &) const
 Equality check for two RAM nodes. More...
 

Detailed Description

False value condition.

True value condition.

Output is "false"

Output is "true"

Definition at line 38 of file True.h.

Member Function Documentation

◆ clone()

True* souffle::ram::True::clone ( ) const
inlineoverridevirtual

Create a clone (i.e.

deep copy) of this node

Implements souffle::ram::Condition.

Definition at line 40 of file True.h.

◆ print()

void souffle::ram::True::print ( std::ostream &  out) const
inlineoverrideprotectedvirtual

Print RAM node.

Implements souffle::ram::Node.

Definition at line 45 of file True.h.


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