souffle  2.0.2-371-g6315b36
False.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 False.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 False value condition
28  *
29  * Output is "false"
30  */
31 class False : public Condition {
32 public:
33  False* clone() const override {
34  return new False();
35  }
36 
37 protected:
38  void print(std::ostream& os) const override {
39  os << "false";
40  }
41 };
42 
43 } // namespace souffle::ram
souffle::ram
Definition: AstToRamTranslator.h:54
Condition.h
souffle::ram::False::print
void print(std::ostream &os) const override
Print RAM node.
Definition: False.h:45
souffle::ram::False::clone
False * clone() const override
Create a clone (i.e.
Definition: False.h:40