souffle  2.0.2-371-g6315b36
Data Structures | Namespaces | Macros | Functions
EvaluatorUtil.h File Reference
#include "souffle/RamTypes.h"
#include "souffle/utility/StringUtil.h"
#include "souffle/utility/tinyformat.h"
#include <csignal>
Include dependency graph for EvaluatorUtil.h:
This graph shows which files directly or indirectly include this file:

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 >
souffle::evaluator::symbol2numeric (const std::string &src)
 

Macro Definition Documentation

◆ GO

#define GO (   x)    go(Tuple<RamDomain, 1>{ramBitCast(x)})