interpretation.hpp File Reference

#include "logic/logic.hpp"
#include <optional>

Go to the source code of this file.

Namespaces
namespace	lala

Functions
template<class L , IKind kind, bool diagnose = false, class F >
CUDA bool	lala::ginterpret_true (const F &f, IDiagnostics &diagnostics)
template<IKind kind, bool diagnose = false, class A , class F , class Env , class I >
CUDA bool	lala::ginterpret_in (const A &a, const F &f, Env &env, I &intermediate, IDiagnostics &diagnostics)
template<IKind kind, bool diagnose = false, class F , class Env , class U >
CUDA bool	lala::ginterpret_in (const F &f, const Env &env, U &value, IDiagnostics &diagnostics)
template<IKind kind, bool diagnose = false, class A , class F , class Env , class I >
CUDA bool	lala::top_level_ginterpret_in (const A &a, const F &f, Env &env, I &intermediate, IDiagnostics &diagnostics)
template<class A , class Alloc = battery::standard_allocator, class Env >
CUDA A	lala::make_top (Env &env, Alloc alloc=Alloc{})
template<bool diagnose = false, class TellAlloc = battery::standard_allocator, class F , class Env , class L >
CUDA bool	lala::interpret_and_tell (const F &f, Env &env, L &value, IDiagnostics &diagnostics, TellAlloc tell_alloc=TellAlloc{})
template<class A , bool diagnose = false, class F , class Env , class TellAlloc = typename A::allocator_type>
CUDA std::optional< A >	lala::create_and_interpret_and_tell (const F &f, Env &env, IDiagnostics &diagnostics, typename A::allocator_type alloc=typename A::allocator_type{}, TellAlloc tell_alloc=TellAlloc{})