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)}) |