%%%%% CONFIGURATION %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
:- module(extend, [mem/4,program_order/1,if_pair/1,lock_pair/1,synchro_order/1]).

mem(i1,t1,cr,c(o1,[(x,0)])).
mem(i2,t1,wr,p).
mem(i3,t1,wr,q).

mem(i4,t1,re,p).
mem(i5,t1,wr,r1).
mem(i6,t1,re,a(r1,x)).
mem(i7,t1,wr,r2).
mem(i8,t1,re,q).
mem(i9,t1,wr,r3).
mem(i10,t1,re,a(r3,x)).
mem(i11,t1,wr,r4).
mem(i12,t1,re,a(r1,x)).
mem(i13,t1,wr,r5).

mem(i14,t2,re,p).
mem(i15,t2,wr,r6).
mem(i16,t2,cr,v(3)).
mem(i17,t2,wr,a(r6,x)).

program_order([i1,i2,i3,i4,i5,i6,i7,i8,i9,i10,i11,i12,i13]).
program_order([i3,i14,i15,i16,i17]).

if_pair([]).

lock_pair([]).

synchro_order([]).

%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%