pir.hpp File Reference

#include "battery/vector.hpp"
#include "battery/unique_ptr.hpp"
#include "battery/shared_ptr.hpp"
#include "battery/root_ptr.hpp"
#include "battery/allocator.hpp"
#include "battery/algorithm.hpp"
#include "battery/bitset.hpp"
#include "lala/logic/logic.hpp"
#include "lala/logic/ternarize.hpp"
#include "lala/universes/arith_bound.hpp"
#include "lala/abstract_deps.hpp"
#include "lala/vstore.hpp"
#include "terms.hpp"

Go to the source code of this file.

Classes
struct	lala::bytecode_type
class	lala::PIR< A, Allocator >
struct	lala::PIR< A, Allocator >::snapshot_type< Alloc >
struct	lala::PIR< A, Allocator >::interpreted_type< Alloc, SubType >

Namespaces
namespace	lala

Macros
#define	xl   r1.lb().value()
#define	xu   r1.ub().value()
#define	yl   r2.lb().value()
#define	yu   r2.ub().value()
#define	zl   r3.lb().value()
#define	zu   r3.ub().value()
#define	INF   std::numeric_limits<value_t>::max()
#define	MINF   std::numeric_limits<value_t>::min()

Macro Definition Documentation

xl

#define xl   r1.lb().value()

xu

#define xu   r1.ub().value()

yl

#define yl   r2.lb().value()

yu

#define yu   r2.ub().value()

zl

#define zl   r3.lb().value()

zu

#define zu   r3.ub().value()

INF

#define INF   std::numeric_limits<value_t>::max()

MINF

#define MINF   std::numeric_limits<value_t>::min()