souffle
2.0.2-371-g6315b36
ram
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
Generated by
1.8.17