1:- module(zdd_aux, []). 2:- use_module(library(apply)). 3:- use_module(library(apply_macros)). 4:- use_module(library(clpfd)). 5:- use_module(library(statistics)). 6:- use_module(zdd('zdd-array')). 7:- use_module(util(math)). 8:- use_module(util(meta2)). 9:- use_module(pac(basic)). 10:- use_module(pac(meta)). 11:- use_module(util(misc)). 12:- use_module(pac('expand-pac')). 13:- use_module(zdd('zdd-misc')). 14:- use_module(zdd(zdd)). 15:- use_module(pac(op)). 16
17:- set_prolog_flag(stack_limit, 10_200_147_483_648). 18
19 :- op(1060, xfy, ~). 20 :- op(1060, xfy, #). 21 :- op(1060, xfy, <->). 22 :- op(1050, yfx, <-). 23 :- op(1060, xfy, <=> ). 24 :- op(1040, xfy, \/). 25 :- op(1030, xfy, /\). 26 :- op(1020, fy, \). 27 :- op(700, xfx, :=). 28 :- op(1000, xfy, &). 29
31 :- pac:op(1000, xfy, &). 32 :- pac:op(700, xfx, :=). 33
34term_expansion --> pac:expand_pac.
35
36:- meta_predicate(@(:)). 37@(X):- shift(X)