| 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
 1.8.17