souffle  2.0.2-371-g6315b36
True.h
Go to the documentation of this file.
1 /*
2  * Souffle - A Datalog Compiler
3  * Copyright (c) 2013, 2014, Oracle and/or its affiliates. All rights reserved
4  * Licensed under the Universal Permissive License v 1.0 as shown at:
5  * - https://opensource.org/licenses/UPL
6  * - <souffle root>/licenses/SOUFFLE-UPL.txt
7  */
8 
9 /************************************************************************
10  *
11  * @file True.h
12  *
13  * Defines a class for evaluating conditions in the Relational Algebra
14  * Machine.
15  *
16  ***********************************************************************/
17 
18 #pragma once
19 
20 #include "ram/Condition.h"
21 #include <ostream>
22 
23 namespace souffle::ram {
24 
25 /**
26  * @class True
27  * @brief True value condition
28  *
29  * Output is "true"
30  */
31 class True : public Condition {
32 public:
33  True* clone() const override {
34  return new True();
35  }
36 
37 protected:
38  void print(std::ostream& os) const override {
39  os << "true";
40  }
41 };
42 
43 } // namespace souffle::ram
souffle::ram
Definition: AstToRamTranslator.h:54
souffle::ram::True::print
void print(std::ostream &os) const override
Print RAM node.
Definition: True.h:45
Condition.h
souffle::ram::True::clone
True * clone() const override
Create a clone (i.e.
Definition: True.h:40