|
souffle
2.0.2-371-g6315b36
|
#include "souffle/RamTypes.h"#include "souffle/utility/StringUtil.h"#include "souffle/utility/tinyformat.h"#include <csignal>

Go to the source code of this file.
Data Structures | |
| struct | souffle::evaluator::lxor_infix::curry< A > |
| struct | souffle::evaluator::lxor_infix |
Namespaces | |
| souffle | |
| souffle::evaluator | |
Macros | |
| #define | GO(x) go(Tuple<RamDomain, 1>{ramBitCast(x)}) |
Functions | |
| template<typename A > | |
| bool | souffle::evaluator::lxor (A x, A y) |
| template<typename A > | |
| lxor_infix::curry< A > | souffle::evaluator::operator+ (A x, lxor_infix) |
| template<typename A , typename F > | |
| void | souffle::evaluator::runRange (A from, A to, A step, F &&go) |
| template<typename A , typename F > | |
| void | souffle::evaluator::runRange (A from, A to, F &&go) |
| template<typename A > | |
| A | souffle::evaluator::symbol2numeric (const std::string &src) |
| #define GO | ( | x | ) | go(Tuple<RamDomain, 1>{ramBitCast(x)}) |
1.8.17