From a2a29a246cb15a957f745c56bcc66e26b7214f9c Mon Sep 17 00:00:00 2001
From: Tony <Tony@137.99.227.45>
Date: Wed, 9 Dec 2015 13:40:22 -0500
Subject: [PATCH] Enabled Parallelization code and commented out non-parallel
 code and fixed a few typos

---
 .../resource/DiscreteResourceDomain.class     | Bin 7827 -> 8633 bytes
 .../js/spi/graph/arc/ForwardCheckArc.class    | Bin 2957 -> 3339 bytes
 .../spi/graph/arc/ForwardCheckReflexArc.class | Bin 3024 -> 3406 bytes
 .../jopt/js/spi/variable/JsVarFactory.class   | Bin 2875 -> 3139 bytes
 .../resource/DiscreteResourceDomain.java      |   8 ++++----
 .../js/spi/graph/arc/ForwardCheckArc.java     |  10 +++++-----
 .../spi/graph/arc/ForwardCheckReflexArc.java  |  10 +++++-----
 .../jopt/js/spi/variable/JsVarFactory.java    |   8 ++++----
 8 files changed, 18 insertions(+), 18 deletions(-)

diff --git a/jOptJSRecover/bin/jopt/js/spi/domain/resource/DiscreteResourceDomain.class b/jOptJSRecover/bin/jopt/js/spi/domain/resource/DiscreteResourceDomain.class
index dd310b912ff423304bb68971e3fd8b37328c9c7f..7b0f94200abefd97e1f640456ddcc9d26bd8f90b 100644
GIT binary patch
delta 2181
zcmb7EX>e0j6#h<Ln&suaG}}x2(iRE@g|;ki52u9@6d0?;qGgf6nNr$VQ%cfFLK)Zi
zgJDMh!Id8_AcaB^K|vr@Dkv_1;8u5Vp)PepQ4~c{sOLQ@gF3^Elgz!}Irlr~efOMu
zubA-6HS&QoJ9h)PjKW*xYS*Arf;|<xBPwGh)+^{lh9EUX(@s1_7`@C_IAm%fxuCYS
zC6=z697{DMqiN=Dz~c(s*hF|_M740a3|pl&QKh)SF(fm$s;X)(|3=Po;t9f#=K8k!
zF^kf%mN5;9c*CM(G8#{hG4o!Rh{dNT5-l<|BVZ0&6+DG)1V=31mRJxaj2lsX!RQ(F
zsRflI&vIJo<4t2~<~NJgHiu|+MKfw!eM?<yA{9%=67dv)nt5~VBgnPs`eb@WY+;n$
zt|{@x0qBXv8)FU8R9!UQ$O|cxRTWROAa+>5ZTZZs1SdPsB5xztrY;#xB^D()oG`Y!
zIk7Ad$^5r^l>~1y@B4gq$%Qv*mWacA+!xjmP4X5vZ`EWOHF!nA0gPuYvDB1>t?Aok
z5MEXA8o0AXO=6<E*#3rsH$|hn*72@__wc^h<*xO8sNe$}ax?j31)t!ED3&YeQ!!T_
zMxTp&<<TX*=rddVB|#f#fmPnxbTSrisvJ4Xg|9`A9C3V$@0>U)j>{vZ?{Q2Nd6MoQ
z@sktB38iAJbFiqEJvj<~#tE^{vtsb?<{4`>MgE~+A7V0caauteWEuBkt+-QZuu+ca
zRYuszEo8OeQt}W&Hw{#_qBt2{SRaeCh6<Tn=;L_uD&!z1o8(i-PXRGot+2D@-L^t)
zcggk$WaI&~LQD)V&*-i!);ud$cqBuS47C%ZbeE=PvCeSl?z6zFc{RBMe$8vhx<^wq
zwPuMzOH|TS-Lt#Bzeh4;P2n7>HF`D0KF`RN44-89B_kji!ES7rqq}sso}+stEmv1{
zZx=RJgu0R0Jf{m!R%p7WhqBl*TQb6(D9}|cJX-U0z-uAHr-hBck}zpuO=<7{!XgdV
zy(Y=ufqV-Ye$A)(8#Q|eoJ<d%qaW4+T5t_JgGNAOl0{K?a{=C^pQX#2_yv%l^LPxE
zVrgDY<`*o-Z+IA|unK3;fqrZzAWJsvA_;rQj{TH_gS_@0xp9bO93c<-NWoE3ag4m&
z@LZfAA5Kz`h(aXuoJ$(zQ<#cLr;8{;W2u0~Q6W{bJ%xtS^;AMLX&Bv-q2Y8ZQ<~YC
zrZT#d$|=M2`{)u{PFEtr?Q>Y;3KXD_g>yU6j6r;mOf-{`%|f#nNft5~*^y6oV*wn<
z!6>>7f_)B5q8ZrE$cb5W6?Pztj0<&Spo^g!%X!C7^RjH!;~5NvhpTcDJK3k89ao@)
zk;+^R-Hg0A!uVO{sp!KN>|*4_QEbF+Ud`nicj7rlJ{;%DKF`RH6P#xcqX6e!g%>gm
zxm;L^7x5B8l#jddGWJ5F5>94*E=<>={4ByS-hK*x<uuBjeE$FB(9;Mxv6BB6+xroM
z*9mR{k-5x+xxmwK;%Z%F>&I;5{gY67j=?O8Xa#R@TE`${QwG^i!5`on?-Q5nZNdEy
z!ByIY>P@9t9JJ3X-HzAAF1<$T!CN9Xa=H7U>B*vMt!R&EqCPSr?`@3dUU^vgRGwJ}
zJj{7Vtd2~O_$3m(k<hfmrsqL~c=~8B)Nb_734GRtFP<ygH(-5bTBT+D)o*s-qf(RT
z%;JX~SX{Q36WVv+olaIJ@hm14OxJ$Fuly~uUJlrc)M7hZC&l`LlKH=J>|%RC78b}c
zK^9>%<6?(tbm7#ra?_Ij=KP!d=Mtg<laa-l_Wtz)XeGQ>RG?p!72aqgh<gh2ZA7A{
zaH!Z>sM*NIa9oDZSdhh-1?gjPd}MLgKnnY6_^lig>j?Beil{Wc6EoRmR^|eN{)c)M
z;q&B+2a2jqsh<^HW+S`E8#Mf8^GO}hcQvas8<yWqt~o)HyGSv$WJ%3ZZkB>uc+F<L
YCJvKF>&%PFH^qt>xUT#nm@Lx%0$$-9`Tzg`

delta 1518
zcmb7EZBSHI7=F&(%YNK@c9*X!Z0y1!q_&tiX=_6`4a4M&4UH%xGxVd}U}I2N6&9$*
z31{M0(=X3BgUwLE5SUSh$|XR>%AlYR64MOJ0`db&EBg@TqxUW}P5o%5xqI*XydUSB
z=Y7sO+np=cD}!@ACjqQstV7AOCe|^SN`qkqjcDa)gO5S3Dtk64PTNZTrkX%GgS{#o
zs0<ed$~T5ef=@H3!BENHo;8x)7z#6(DM3Iu)P%%i9G%E!u#{CjT(K+si~@!(j(5a*
zb(!45(JM;T0`n=3ck!M$r4~f@bG(n!HY)p&<0A};G@ivi7LW6E_NjQDui7w#VGbKU
zXV6yUZ4cB0GRp&@(#(QzWm%~7!Fvj=7@<^dAQaje_ErVM-hek$U0&|Z%`Z^!1<qS=
zjv-yFwxlQp;Xv^YjxTXRc<q(8QG9K|MFyW(&3#cE-{6uMwC_)u;Ap`vgZX8SBPdhg
z#8r+OC<<Oct9Z^)Ea4|H?pPt=S7CQ1-G|>9;<p5=c2-vw2eZ7D!HPgxi0EZ0xQSt7
z{4~eU_{DJVaLiy<Jm$=j$(ugf;B2xg(k++}1F$TSo4Bve<X79!;Ie9}j%L5vWm^DT
z<C@ZfJ(}vb)9Yx1x!yjn*<XgHaVoM?b<6w>BkW+BL*C}H>3FRf&Pdh~$zF9u(Y!{b
zjy-;7#4|EF_WGkWr@I+u_x*mS7VRPAp%4X2G`R&9jr)~)m1(NWO0zc2muN~mohTDr
z^gTo>PPjJJoxwhgpaEymMB*R9d32E8ow$H*jN&*hqL1t_X+45VI7jw6z9T`#n1XQ@
zjR_Wq%glu<%#BI53{%WU`@4=kfV*gw_63cQ1UGr47Pcdq_Q^n72}yMkSV+(mL4HCq
z64_GhfEiJ^m)RjGW=0OCagdM&g_ywWMAeEXh}s*3Y}CX-S}Yj~_M;hTgj9;}#hZkT
z6JCwC2-&Hr-8f9hK`pGp+t`o{Cw1bbu9FdsbRzi(qWLUVS|~AtI5vxT3mWOST%LuM
zu{oqM#-unYVHW9(S?6h1E>hibR%%P4=ZGkB*Tfxt307Yh^4fhmba|Wa7`nxndz0xn
zPKdRhwNZK`QsK#AC&gipCiNW<yFHp1^(-%;>qQc&M5TvRk;rcGWpv>K8qs$E@ni=2
zVeiFIQS2vO_^dBuV9`5cc)ko;@oXmsd`6)~$5)-G&FF{flRMGZMyyO^#Z$@o+PAcm
zbk%49Gh~n5E0Z@ShLY2s9H+6ha*~b+h%$hVCB}@kX2a>i_m8eLJkwt_|1Q2#&sdUC
zq2pT9eCr}=gd;L4c2eZ0Y<6RcR+b_RI7~B$Vt26lHd2Vk58_11Itf3LSt=5}nuO~j
z)0<d#O@0+IkvUAnBX;r?1Wnm(*h(Qong1a4f7mbiC;JYPXyMw3e(ysPri3MRjf5K_
yJN0g#@jtP+UpZ7orvM4PxLFkYTNnN?Xz946<F<}D@nWhwCSmb1Fw9e>#PBCCc%T>n

diff --git a/jOptJSRecover/bin/jopt/js/spi/graph/arc/ForwardCheckArc.class b/jOptJSRecover/bin/jopt/js/spi/graph/arc/ForwardCheckArc.class
index 48772e65f3d0d9c3a34b2f2674db11242d8ff578..5ad50813c566904965e818f60bfbb2852e0e03e6 100644
GIT binary patch
delta 1559
zcmaJ>T~8ck6n@^FnH`wEP;|RRx+T~U?Cy%72-Nabpg^H~6<CW%D-6qs!!A3^Fbh_z
z+iI(}^{bhv(KIGr8SiK!OHz~@6HWXBUK;Pb^47$t^}I9Nh)pbH-uKM;c+T^jIobCr
zZyeHo{QJ%>fT!{9ZS7YURPh)?&CQCc%G6XgZ8{q25alRCjA1G|G&Jk}tkg-f{+*AV
zRq;5(k!5{dZ_GJnx-n^Gk~!NpGEU=wWv5PCX6B4#r8UIykT@DR8u27U(9En`DTCoy
zbmW2634JZq9`ke3dS<C{d|}y0I_-kk;U-SRn;FWM3}<ddH#2kVy1m8_jmA8pN+}px
z-QQWVVxObiA}eiKSz<gw632Xr?F{#VS)$5N`(Q>w57m@SIeIcRs%I1WLfTN#>t14q
zZhpYsj{;u>hdD+t>h?*4@+8NU`=QjtrrqzPrjj1aa6FG$_b;hGc%I`0%(;W|De~(a
z3*`Sqt`078805br*N}gS<0Y8xFLEs3gA_*^D-0phGHI;lOxswTG}f$~oupyP(V^Io
zMw%^-L6G$bRyk}OW>BdhaUpAH=z+tL6TSoF>(}kHX{<S<#&#0sikGm#@v=y$po9_K
zp>Tg@F<~C{qpxthDx&2S?aSG^V_KO}Gb6ga#_>Ax?xym&{5D6zoea9A^-vL{729xs
z3!doPLEVfL{~F=ldU4WIyN#o5@($uN+o*3-s+20ZfG4Ko;(BTewejjLwA>~D3CHMc
zL%Dldt<4|DG}-fLr|EQH75!Mp0G^?YL25|taGc`eZvzSuV4kI-1Od<52Tq6w5FrE(
znb003oKCXlQHd^`psH@l3?p!t9Eu92qDRF^Mo1Nq82a4KlB&Gm<f9LJ-MQB(Q0&f#
z*8q9;Q`Q;67A%D5(D&Fce~TV(7NMz4wn+hBU^(3)S;YiGNbCU(7eTwdToxj<QvnRP
zKb6!r3mSgqIjTHQlIHhRmjAbs(+p@o+=kLf{&bUQ9q?xB>say%4|;RDS17>82$a$P
zIFa)ejZuzJ6e2|vKR}Di-)LKy5O4SENfWCT0?F=S6(Ux7@r}Cak-*9cEP;m!^jUI<
zVVxC&W4$zBu|c<_jxW(GRwmL!XA3=|v$(^Nh60`|;2hci6P+(0d4;iv$lm?p?hf5l
zJ&u+FUi=g%{a5j}+!2p#BQsiGK=w1lMWBGSF8^L{m3`wvt0FeIr8+E!l>#mnH`M)D
zYtR3?g|~`>4`A5aGlnHJ7bm%b23*2rl6w&~c*EPrt2l@^y?uP2esr&p<!_+|=}#!E
z>kk@<7}C}IheVsp$OkC#LMPr5Z2WJkdERR@&g*-=t5W1e`FID{sFqP&)ZF+716M08

delta 1273
zcmZ`%U2jxX6kTWTJ@>ZbX(<f1)eaS*8I^Gyb!bN|r7it{DwGdrilRjr%2-<3QeXf{
zObSVbfDvNOlZFuBr6J(~61gNIJW9e(@E`c#vq@vbweO6vk~ovxbN1KTYwxqZY5lgP
z>FHlTJqEB5XMMyJQuer$y4U$g>3S%<YP+2AKusw$6e^|hqa&rcV(HLy*~eS<oNE2<
zs<B<}ZSOsU_t9m4bBEntgFf4-b865Y(Yd-Twi;~1u)U>+yblewV~71+Z=-*w!7lo{
zy*6);!AJBT@Yd2_G#JHRd%@d4;}e5@_|!h|)~z2i=tMq_7xB5l0jyE*C(4!L*|~BY
zS(FS8*(ER8m&IX&vV@x$-chQQPgaIz4;LqAqPz)%BNA+6aPZWLQf2bk?8xM-z)l$)
z#k3vuue%k4E%p!J))(Ny<904uTi083^6nx!oxEN|D*YpZz|Cd?oeR-&11srh4_vVe
zi)dKTD$tq7H=q5w;HtotY#L9}ZTFG7M?eR!@w*i(ZF7D5d>TV|gS*LK3~yqB^GwmM
zAdT~kTwvbo%pQg>RIq`5`CWu2IThV})FBq#UVtI`Y9xtZNWUMwwc9Z9GxTZp0A4}e
zGqgbaP^~_)KHgS@YFhIrw0b$V1TRMDckILZm*$0PwbAy7h>4oUYD5%rRFA?6X6<G}
zArx@n#4lLkK0<b%BSzt_y30Uy?na)H>|+lSC@upHYM{c<fl3gqBZiH3G~V7JG^&+j
ztlZB@4lb)~{BNb<I;a<WC!U;tHz%!Q(aNiHOhkpv(aQcQ6!1+1Rs45jGruy?PUgr&
z2@cWo1o5={bNoJf#Cm?7X|kFj$lNkk39{nzB3d~IY9!betRiSXowBR}X`}kNU=i9i
zr+X3oL~l>#_!XH+=SXhJY>1%{AN+rGB*g9orIO4Lxjn2_??Ng>;d=~JO|d@iPA4DW
zvyn`Q{XZZrfe;5}DxTwc(JL=s<aLI(R9oN%I>cm6xOTPKH2<$4uhkYGqku(niURJa
zZE}WEp1~}~{R(Swj8O+)qnRrbX<k7Cj`LO(WE_rYuV)E+qa~eqeo4`rh{$z1+>DdL
eruwFFp1>s{US9UDy2gw7IEB;1R5%mWeEBy7p~koX

diff --git a/jOptJSRecover/bin/jopt/js/spi/graph/arc/ForwardCheckReflexArc.class b/jOptJSRecover/bin/jopt/js/spi/graph/arc/ForwardCheckReflexArc.class
index 9e44aaa4c4b0bd7c11f7df15c914ca623413684f..e870ec2e253c4a457770f305a8531a39f40dd8c9 100644
GIT binary patch
delta 1611
zcmaJ>T~ixn6n@_9ZZ-)E#fB8pz*J4aBw(Ypd=y%sDIZM=g#zWn*1{52x+G*n*re8v
z#*b=yi|dUS9d*2LbeyprC7lsvywcGbozD0d^w#m(QSrQ+Ffd+pXZGE*=REIoo^#H-
z`>_6(!=9i1{dya~bGUQg^9OUvXkj?AQR_dHn#`tk(}QM&6jUS3Fd2%+H@;|bT;^*r
zJT0S@;fWQsphokio{lDsOfsL#X&Ey*WaLr_L(hyGM%sf29^=a~1yMZ1;M6k(Bc(BP
zhDIK_drDnT^@Piqw3=CtjxDZeNwbHG3LIBR^a+OQWzC#lRrSn#LCvi*ghFAGC%M7U
zVg1AO+NyOUpG#`<X~W2p-VrM9V!5~;hTUM6gfavlt%p}bd#Wc*HJKV!vs3C~T9e_D
zan`!&_*6WvV8m(_j<a#=s&K+Hp<on~497xNR%%tk(;mcdNx?K`tY3w2F@`w>&*L(K
zmui^M*7ABzTbj_ydKtt}JRIkHUQlqA!)ge2R?VtO-MlfXXLx8qfr>_kItmS{xwNjW
zn<Ou1PU))}2P73NaX>8rMpTo+gPA2ec$A_qDp=-G&ODIMsitmZY~}{&3RaM^J`j6d
zF{~=cz_5N7yPRtZa#**5Qjq+41qEEUE=Zq=Z!v_eH7QI-=xv5Z>!H+W4Lg(WHpp<&
z3A=86>FgWWLi3yu`3k=6R=(05e1NCA#VthU9-ysT@=JcPgr{dB{PFB2f{~_8wBIKJ
z0iCpVqsAJNgT+qFpbHB)iEHFrLq7>QLmuE9C8Tr|>82;QXhd`xxFwMkhiz3sA;vlc
z&_k9;Y>(p<PLs8Odi0`?u>FMe!LdUQNd}W~Mn;SgQ!V-!2GB^X2ME(fPtNa<Kj*8h
z(`kE#Y(+{rT2aI>h#{-j#cKd+NCj}7G>(vtv3>ZO3cjD>0vIP5#t^MM<v0oDDR~FI
z-{XMzEn;?Ky_5IYJ$uI<`z2zZh8J`D*nK!TYd5Ih1~V_wokP4rf15J$K1GQ>@dH{S
zd{Eopcs7v`PJM!E?hXiJw-^i9k&kx%<gQ9$tIK`lG#|yGGD)S7I(p~LW_Dve5dKCz
zbN^)zXA}nsdx7@wy2h;c+|6|t_tF1WIRVzs?!e+6b#sN<fhYG-yEwJP4mya6zQFy&
zym{;{&DKq+ek9Fay4y>bdLRD1w^=LUIb0<7m0s>FVZK8w8;c!M+0Z(it>2-6UfO-4
zPiiXRTDQzY+|%fnOGuZ2|KG~vcD}A%bP2PZs)YIv5!@qf@<~2t3E2+UF3{&H!K^gm
z-Kyat@57aHC6zu<O?U}6sO~o0#mm%e2hDr~uaG6s_i+cWk|iR6B3>g)qV5!MlPo7R
t`cV||I-Qj*`rp4nK9@bH1~`uH;A8%qqfg*X#xEJS01u^kha@;~`#;-hJbeHF

delta 1281
zcmY*ZOH30{6g{sqZ)RE^sFbl_@ms4>kSb_Fw15hT3ZfQ2D1Itbtsg|KMmJUsQRBv#
zw{qc!xFEWcM7!`qT=`2hu666ijWKa&jCkKTNNv*Tx%ZuS?wxbr>xUU11HN~^pN;{j
z#hFpxH^#kSSRk9VbdVikC`@FMeMdW!gWbsk$5JLN6H6FEH%9|9uHVq>1y;z9dJT(9
zjW08r1RBsR<Gj|2VvWFBw8(S3f`T@Ib!e9l`0Tk+Y!KLpc7~!usm$8sV6rcrIp3Kc
z@F9v$flcx&4>m`!Szrsw8Kx4eBbiB^&a@8ncc+i16fYsrtrnF;%b8QjO!~xtBT<U&
z0z0r%wiu06cbC9!^vdf-y|GtdANI>PMu_qU1p3e~e;5zhpuA&Nvs3cDdD)wQ4uj0N
zDtB5<-C9f^!E!CeM-YxYhHdNBl{T-*A#e}VC=s%C6(>eeIK-LFE60Y%KMm>3))kwA
z*O8e|5FRB#4GZbnhH3J%70Oni6%q2F61}LxAuPrbiZiIdB{bs-R$~#d+hM9!C>x<)
zg~)%JjzXN;^f;&hg49b8BsD?puR)WG+DW^La-8&mIk3hN05`#An5Z@pWh6DV{1-Tz
z<@pK2L()s-MQ>S1wQ4wp+MGs&gFS8|3^k~g&%L3n;uTSG(5sl}pi*6V{34gHifdp>
zWEq_@hAEWTOr5GXvB@d_D@@T}Aljp;An}Mja&}CrZzJ{X@S`VB-A0Aq@x_(*liYH|
z<Vl~urtUQsMAUr7p8KAlPFqC-qOdNgbqz5VbXJDPzpIp6O6GjC<I3~tj;m3(^%9De
ztIToG2kjRE%=^=sLIaA4yOQ>(H(4c%3&JIhdGcS}vCEAG!IhKJVOQFNd3n;7lIE;f
z&46yuf5O8Bb~c>D>RTwIj{WqdsI~GXO6efpg+A)S_~h#PMul_eh^doEpex4zf~_$_
z(J2Vqy3J?iu&u#VODa=dX6DfIm-ye-_5bQp7xfeL$u908l&@+VIqZp96Fl3>Avxj3
z1+gxx+~|duo^M?@6iVSBy?qsK(}fV^Ks|2aFd>bu!!@J{>DYiQT@`ht6F7^bgbdo(
qk7GDaXXF_QF+e%X8CNMh^T%;t{bex|Cz$$}I0^Wu%xNm_LFNxe{@tVi

diff --git a/jOptJSRecover/bin/jopt/js/spi/variable/JsVarFactory.class b/jOptJSRecover/bin/jopt/js/spi/variable/JsVarFactory.class
index 43296bbaea9b2bbc9544bfe707fa63b440925150..1b08110d3d0c471a942775e51d6341658ae6b166 100644
GIT binary patch
delta 539
zcmZvZO)mpc6o%j1uj$+=wP~ruLIkzYN<<}{#AXmfeScO_qb9VS%x$VHZ0vmONPme)
zNK|a>`~+71gdK5aNF*XRx%bJ*Ip=-PxsB*k8-M=1e*`dy{58Mv2PEhW-B&G<lW|ck
zFIKE#Ek9!l&8TopU@8O&83rY;>p42Q-nSxQhM}`$92v>OTG2`tgk3nSR!zH>bXrV`
zqCF>s#W4-Vx#mMyz#>DSXdj8P$uJzx{8QceTfSr*l-0iPB+Ib(lCwJ{vrwx)_&dUi
zZHj_X$y-8H7<#YXqGNxJtK|15t3+lPy8hGqm2=#xH?RJ8udIPXq3s;hU*w)d0~6Uu
zFcOqvzDM8g{&tMOM|_9LwA{dS_71aY9^*0j7IUlhAs+W8pwzc{>&YonIKv1|q2U}E
zTwn>8Xrk7~2sr|1MwniQTG0mPQa{?^aVbIMbtwfEK9@9#`CS?%3P47Qx~lX;Aw;oE
ru^@VA;VWn#Ak;8`Rjg532EE8)oo35XIfv&1VF?>dA=yoec(C;am+F2C

delta 309
zcmW;GyG{Z@6vpxY?3I}np>VmVjSW$wm}uNWOEKPs7&{AlJ1YcYZ1w?6_6e||HguY7
zV`uFv_zD&V!L!@U{LXiB&df*cy<$G6Zz-@t=hckeq~|SL>TW#qer$b<A&_1_nVQC~
z6X_A_c4S5@g@wAGzEH0FA}7?%c3e=gQK9jNv+r1|P}iMwIQvSjf>k@Bm^=p6r!E^j
zuuYFW`m`8uBz1=_H#}3!UScjk=PAjZ)m3V!T$?On<!XxTToL;?xeg?AbG1YsntP6=
z>&wOpCz2HoX>iSHM%LsTS*Y1!g)@=iT*j;Tf0TSKR4}2eCb(+B`jr92rL-;D|3;NF
AKmY&$

diff --git a/jOptJSRecover/src/jopt/js/spi/domain/resource/DiscreteResourceDomain.java b/jOptJSRecover/src/jopt/js/spi/domain/resource/DiscreteResourceDomain.java
index 63a9f0e..fb34336 100644
--- a/jOptJSRecover/src/jopt/js/spi/domain/resource/DiscreteResourceDomain.java
+++ b/jOptJSRecover/src/jopt/js/spi/domain/resource/DiscreteResourceDomain.java
@@ -207,7 +207,7 @@ public class DiscreteResourceDomain extends ResourceDomain {
             }
         }
 
-        int maxValue = 0;
+/*        int maxValue = 0;
         for (int i=0; i<indices.size(); i++) {
             index = indices.get(i);
             int val = worthes.get(i);
@@ -236,9 +236,9 @@ public class DiscreteResourceDomain extends ResourceDomain {
                 }
             }
         }
-        
+        */
 
- /*// Modified code for adding in parallel capabilities
+ // Modified code for adding in parallel capabilities
   
  
  
@@ -306,7 +306,7 @@ public class DiscreteResourceDomain extends ResourceDomain {
         }
  
   // End Parallelization       
-  */
+  
         
         
         return maxValue;    
diff --git a/jOptJSRecover/src/jopt/js/spi/graph/arc/ForwardCheckArc.java b/jOptJSRecover/src/jopt/js/spi/graph/arc/ForwardCheckArc.java
index e368b09..5d03744 100644
--- a/jOptJSRecover/src/jopt/js/spi/graph/arc/ForwardCheckArc.java
+++ b/jOptJSRecover/src/jopt/js/spi/graph/arc/ForwardCheckArc.java
@@ -37,7 +37,7 @@ public class ForwardCheckArc extends SchedulerArc {
 		}
 		Arrays.sort(targetIDs);
 		this.targets = new ResourceNode[targets.length];
-		
+/*		
 		//(Non-parallel implementation) This will ensure that resources are ordered for fast easy access later
 			for (int i=0; i<targetIDs.length; i++) {
 				for (int j=0; j<targets.length; j++) {
@@ -46,7 +46,7 @@ public class ForwardCheckArc extends SchedulerArc {
 						break;
 					}
 				}
-			}
+			}*/
 		
 		
 		 // Parallelization implementation Begins
@@ -54,11 +54,11 @@ public class ForwardCheckArc extends SchedulerArc {
 		  
 		 
 		
-/*		ForkSplit target_loop = new ForkSplit(0, targetIDs.length,targets,targetIDs,this.targets);
+		ForkSplit target_loop = new ForkSplit(0, targetIDs.length,targets,targetIDs,this.targets);
 		ForkJoinPool target_pool = new ForkJoinPool();
 		target_pool.invoke(target_loop);
-		this.targets = target_loop.get_main_targets(); // Will grab the targets object from forking
-		*/
+		this.targets = target_loop.get_main_vars(); // Will grab the targets object from forking
+		
 		
 		 // Parallelization implementation End
 		  
diff --git a/jOptJSRecover/src/jopt/js/spi/graph/arc/ForwardCheckReflexArc.java b/jOptJSRecover/src/jopt/js/spi/graph/arc/ForwardCheckReflexArc.java
index 61efc9c..2edae5d 100644
--- a/jOptJSRecover/src/jopt/js/spi/graph/arc/ForwardCheckReflexArc.java
+++ b/jOptJSRecover/src/jopt/js/spi/graph/arc/ForwardCheckReflexArc.java
@@ -37,7 +37,7 @@ public class ForwardCheckReflexArc extends SchedulerArc {
         Arrays.sort(sourceIDs);
         this.sources= new ResourceNode[sources.length];
         
-        //(Non-parallel implementation) This will ensure that resources are ordered for fast and easy access later
+/*        //(Non-parallel implementation) This will ensure that resources are ordered for fast and easy access later
 	        for (int i=0; i<sourceIDs.length; i++) {
 	        	for (int j=0; j<sources.length; j++) {
 	        		if (sourceIDs[i] == sources[j].getID()) {
@@ -46,17 +46,17 @@ public class ForwardCheckReflexArc extends SchedulerArc {
 	        		}
 	        	}
 	        } 
-        
+        */
         
          // Parallelization implementation
 	     // - Creates an object that will split the task of the above code into separate tasks.
 
          
-/*	        ForkSplit source_loop = new ForkSplit(0,sourceIDs.length,sources,sourceIDs, this.sources);
+	        ForkSplit source_loop = new ForkSplit(0,sourceIDs.length,sources,sourceIDs, this.sources);
 	        ForkJoinPool source_pool = new ForkJoinPool();
 	        source_pool.invoke(source_loop);
-	        this.sources = source_loop.get_main_targets();
-	        */
+	        this.sources = source_loop.get_main_vars();
+	        
         
          // Parallelization end
           
diff --git a/jOptJSRecover/src/jopt/js/spi/variable/JsVarFactory.java b/jOptJSRecover/src/jopt/js/spi/variable/JsVarFactory.java
index 61609e5..05a0653 100644
--- a/jOptJSRecover/src/jopt/js/spi/variable/JsVarFactory.java
+++ b/jOptJSRecover/src/jopt/js/spi/variable/JsVarFactory.java
@@ -115,7 +115,7 @@ public class JsVarFactory extends VarFactory implements JsVariableFactory {
 		
 		int index = offset;
 		
-	// (Non - Parallel Implementation) //
+/*	// (Non - Parallel Implementation) //
 		for (int i=1; i<capacity.length; i++) {
 			for (int j=0; j<4; j++) {
 				if (index<neoCapacity.length) {
@@ -125,18 +125,18 @@ public class JsVarFactory extends VarFactory implements JsVariableFactory {
 			}
 		}
 		
-		
+		*/
 		
 		
 		 // Parrallelization Process
 		  
-/*		 
+		 
 		ForkSplit_NeoCap neocap_loop = new ForkSplit_NeoCap(index, index + 4*(capacity.length-1),
 															neoCapacity,capacity,1,capacity.length);
 		ForkJoinPool neocap_join = new ForkJoinPool();
 		neocap_join.invoke(neocap_loop);
 		
-		*/
+		
 		 // End Parrallelization Process