sort.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/unique_ptr.hpp"

Go to the source code of this file.

Classes
struct	lala::Sort< Allocator >

Namespaces
namespace	lala

Macros
#define	UNTYPED   (-1)

Typedefs
using	lala::AType = int
using	lala::logic_bool = bool
using	lala::logic_int = long long int
using	lala::logic_real = battery::tuple<double, double>
template<class F >
using	lala::logic_set = battery::vector<battery::tuple<F, F>, typename F::allocator_type>

Functions
template<class Alloc1 , class Alloc2 >
CUDA NI bool	lala::operator== (const Sort< Alloc1 > &lhs, const Sort< Alloc2 > &rhs)

Macro Definition Documentation

UNTYPED

#define UNTYPED   (-1)

This value means a formula is not typed in a particular abstract domain and its type should be inferred.