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

mem(i1,t1,cr,c(o1,[(x,3),(y,0)])).
mem(i2,t1,wr,f).
mem(i3,t1,cr,v(4)).
mem(i4,t1,wr,a(f,y)).

mem(i5,t2,re,a(f,x)).
mem(i6,t2,wr,i).
mem(i7,t2,re,a(f,y)).
mem(i8,t2,wr,j).

program_order([i1,i2,i3,i4]).
program_order([i5,i6,i7,i8]).


if_pair([]).

lock_pair([]).

synchro_order([]).

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