ast.hpp File Reference

#include "battery/utility.hpp"
#include "battery/vector.hpp"
#include "battery/string.hpp"
#include "battery/tuple.hpp"
#include "battery/variant.hpp"
#include "battery/shared_ptr.hpp"
#include "battery/unique_ptr.hpp"
#include "sort.hpp"
#include <optional>

Go to the source code of this file.

Classes
class	lala::AVar
class	lala::TFormula< Allocator, ExtendedSig >

Namespaces
namespace	lala
namespace	battery

Typedefs
template<class Allocator >
using	lala::LVar = battery::string<Allocator>

Enumerations
enum class	lala::IKind { lala::ASK , lala::TELL }
enum	lala::Sig {   lala::NEG , lala::ABS , lala::ADD , lala::SUB ,   lala::MUL , lala::POW , lala::MIN , lala::MAX ,   lala::SQRT , lala::EXP , lala::LN , lala::NROOT ,   lala::LOG , lala::SIN , lala::COS , lala::TAN ,   lala::ASIN , lala::ACOS , lala::ATAN , lala::SINH ,   lala::COSH , lala::TANH , lala::ASINH , lala::ACOSH ,   lala::ATANH , lala::DIV , lala::MOD , lala::TDIV ,   lala::TMOD , lala::FDIV , lala::FMOD , lala::CDIV ,   lala::CMOD , lala::EDIV , lala::EMOD , lala::UNION ,   lala::INTERSECTION , lala::DIFFERENCE , lala::SYMMETRIC_DIFFERENCE , lala::COMPLEMENT ,   lala::SUBSET , lala::SUBSETEQ , lala::SUPSET , lala::SUPSETEQ ,   lala::IN , lala::CARD , lala::HULL , lala::CONVEX ,   lala::EQ , lala::NEQ , lala::LEQ , lala::GEQ ,   lala::LT , lala::GT , lala::AND , lala::OR ,   lala::IMPLY , lala::EQUIV , lala::NOT , lala::XOR ,   lala::ITE , lala::MAXIMIZE , lala::MINIMIZE }

Functions
CUDA NI const char *	lala::string_of_sig (Sig sig)
CUDA NI constexpr bool	lala::is_prefix (Sig sig)
CUDA NI constexpr bool	lala::is_division (Sig sig)
CUDA NI constexpr bool	lala::is_modulo (Sig sig)
CUDA NI constexpr bool	lala::is_associative (Sig sig)
template<>
CUDA NI void	battery::print (const lala::Sig &sig)
template<typename Allocator , typename ExtendedSig >
CUDA bool	lala::operator== (const TFormula< Allocator, ExtendedSig > &lhs, const TFormula< Allocator, ExtendedSig > &rhs)