souffle::evaluator Namespace Reference

Data Structures
struct	lxor_infix

Functions
template<typename A >
bool	lxor (A x, A y)
template<typename A >
lxor_infix::curry< A >	operator+ (A x, lxor_infix)
template<typename A , typename F >
void	runRange (A from, A to, A step, F &&go)
template<typename A , typename F >
void	runRange (A from, A to, F &&go)
template<typename A >
A	symbol2numeric (const std::string &src)

Function Documentation

lxor()

template<typename A >

bool souffle::evaluator::lxor	(	A	x,
		A	y
	)

Definition at line 73 of file EvaluatorUtil.h.

                  {

References souffle::evaluator::lxor_infix::curry< A >::operator+(), and souffle::evaluator::lxor_infix::curry< A >::x.

Here is the call graph for this function:

operator+()

template<typename A >

lxor_infix::curry<A> souffle::evaluator::operator+	(	A	x,
		lxor_infix
	)

Definition at line 93 of file EvaluatorUtil.h.

runRange() [1/2]

template<typename A , typename F >

void souffle::evaluator::runRange	(	A	from,
		A	to,
		A	step,
		F &&	go
	)

Definition at line 33 of file EvaluatorUtil.h.

                         {
        for (auto x = from; to < x; x += step) {
            GO(x);
        }
    } else if (from != to) {
        // `step = 0` edge case, only if non-empty range
        GO(from);
    }
#undef GO
}
 
template <typename A, typename F /* Tuple<RamDomain,1> -> void */>
void runRange(A from, A to, F&& go) {
    return runRange(from, to, A(from <= to ? 1 : -1), std::forward<F>(go));
}
 

runRange() [2/2]

template<typename A , typename F >

void souffle::evaluator::runRange	(	A	from,
		A	to,
		F &&	go
	)

Definition at line 51 of file EvaluatorUtil.h.

        {
        if constexpr (std::is_same_v<RamFloat, A>) {
            return RamFloatFromString(src);

References souffle::RamFloatFromString(), and souffle::RamSignedFromString().

Here is the call graph for this function:

symbol2numeric()

template<typename A >

A souffle::evaluator::symbol2numeric

(

const std::string &

src

)

Definition at line 56 of file EvaluatorUtil.h.

                                                           {
            return RamUnsignedFromString(src);
        }
    } catch (...) {
        tfm::format(std::cerr, "error: wrong string provided by `to_number(\"%s\")` functor.\n", src);
        raise(SIGFPE);
        abort();  // UNREACHABLE: `raise` lacks a no-return attribute
    }
};
 
template <typename A>
bool lxor(A x, A y) {
    return (x || y) && (!x != !y);
}