1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
|
/*
* $Id: $
* $Version: $
*
* Copyright (c) Tanel Tammet 2004,2005,2006,2007,2008,2009,2010
*
* Contact: tanel.tammet@gmail.com
*
* This file is part of WhiteDB
*
* WhiteDB is free software: you can redistribute it and/or modify
* it under the terms of the GNU General Public License as published by
* the Free Software Foundation, either version 3 of the License, or
* (at your option) any later version.
*
* WhiteDB is distributed in the hope that it will be useful,
* but WITHOUT ANY WARRANTY; without even the implied warranty of
* MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
* GNU General Public License for more details.
*
* You should have received a copy of the GNU General Public License
* along with WhiteDB. If not, see <http://www.gnu.org/licenses/>.
*
*/
/** @file unify.h
* Unification functions.
*
*/
#ifndef DEFINED_UNIFY_H
#define DEFINED_UNIFY_H
#include "glb.h"
#define UNASSIGNED WG_ILLEGAL // 0xff in dbata.h
#define VARVAL(x,vb) (wr_varval(x,vb))
#define VARVAL_F(x,vb) (tmp=vb[decode_var(x)], ((tmp==UNASSIGNED) ? x : (!isvar(tmp) ? tmp : wr_varval(tmp,vb))))
#define VARVAL_DIRECT(x,vb) (vb[decode_var(x)])
#define SETVAR(x,y,vb,vstk,vc) (vb[decode_var(x)]=y,vstk[*vc]=(gint)((gptr)vb+decode_var(x)),++(*vc))
// WR_EQUAL_TERM is a faster version of the wr_equal_term function, doing exactly the same thing
// NB! gint eqenc unused variable must be present to call the following macro, as well as valued uniquestrflag
#define WR_EQUAL_TERM(g,x,y,uniquestrflag) \
(((x)==(y)) ? 1 : \
(eqencx=(x)&NORMALPTRMASK,\
(((eqencx==LONGSTRBITS && uniquestrflag) || eqencx==SMALLINTBITS || eqencx==NORMALPTRMASK) ? 0 : \
((!isptr(x) || !isptr(y)) ? 0 : \
((((x)&NONPTRBITS)!=((y)&NONPTRBITS)) ? 0 : wr_equal_term_macroaux((g),(x),(y),(uniquestrflag)) )))))
gint wr_unify_term(glb* g, gint x, gint y, int uniquestrflag);
gint wr_unify_term_aux(glb* g, gint x, gint y, int uniquestrflag);
gint wr_match_term_aux(glb* g, gint x, gint y, int uniquestrflag);
gint wr_match_term(glb* g, gint x, gint y, int uniquestrflag);
gint wr_equal_term(glb* g, gint x, gint y, int uniquestrflag);
gint wr_equal_term_macroaux(glb* g, gint x, gint y, int uniquestrflag);
int wr_equal_ptr_primitives(glb* g, gint a, gint b, int uniquestrflag);
gint wr_varval(gint x, gptr vb);
void wr_setvar(gint x, gint y, gptr vb, gptr vstk, gint* vc);
void wr_clear_varstack(glb* g,vec vs);
void wr_clear_varstack_topslice(glb* g, vec vs, int y);
void wr_clear_all_varbanks(glb* g);
void wr_print_vardata(glb* g);
void wr_print_varbank(glb* g, gptr vb);
void wr_print_varstack(glb* g, gptr vs);
int wr_varbanks_are_clear(glb* g, gptr vb);
#endif
|
