BAM
Abstract Machine for Bottom-Up Evaluation with the Push Method
Classes | Macros | Typedefs
pred.h File Reference

Database predicates with set of corresponding relations. More...

#include "../base/ver.h"
#include "../base/str.h"
#include "../base/check.h"
#include "../dom/strtab.h"
#include "../rel/bind.h"
#include "../rel/rel.h"
#include "../rel/list_1.h"
#include "../rel/list_2.h"
#include "../rel/set_1.h"
#include "../rel/set_2.h"
#include "../rel/rel_n_n.h"
#include "argtype.h"

Go to the source code of this file.

Classes

class  pred_c
 

Macros

#define PRED_NULL   (static_cast<pred_t>(0))
 

Typedefs

typedef pred_cpred_t
 

Detailed Description

Database predicates with set of corresponding relations.