Index: fedd/abac-src/ttg/test/intersect/rbtm.log
===================================================================
--- fedd/abac-src/ttg/test/intersect/rbtm.log	(revision 8780cbecc6db2bdc2b9ef31eec6e5209ad3bff15)
+++ fedd/abac-src/ttg/test/intersect/rbtm.log	(revision 8780cbecc6db2bdc2b9ef31eec6e5209ad3bff15)
@@ -0,0 +1,213 @@
+Finding credential defining the role: <SAdmir.getsSLocs>
+count = 1
+count = 2
+oppoFrontier = credentials=[SE.friendly<-US, SAdmir.getsSLocs<-SE.usr, SAdmir.getsSLocs<-SE.friendly.usr ^ USEUCOM.NRetTacUsr]
+indexByIssuer={SE=[SE.friendly<-US], SAdmir=[SAdmir.getsSLocs<-SE.friendly.usr ^ USEUCOM.NRetTacUsr, SAdmir.getsSLocs<-SE.usr]}
+indexByRole={SE.friendly=[SE.friendly<-US], SAdmir.getsSLocs=[SAdmir.getsSLocs<-SE.friendly.usr ^ USEUCOM.NRetTacUsr, SAdmir.getsSLocs<-SE.usr]}
+indexBySubject={SE.friendly.usr=[SAdmir.getsSLocs<-SE.friendly.usr ^ USEUCOM.NRetTacUsr], US=[SE.friendly<-US], SE.usr=[SAdmir.getsSLocs<-SE.usr], USEUCOM.NRetTacUsr=[SAdmir.getsSLocs<-SE.friendly.usr ^ USEUCOM.NRetTacUsr]}
+-------BEGIN-OPPO-SEARCH------------
+###Adding SE.usr,node SE.usr
+-------END-OPPO-SEARCH--------------
+-------BEGIN-OPPO-SEARCH------------
+-------END-OPPO-SEARCH--------------
+Getting oppo chain from SE.usr to SE.usr
+source = SE.usr
+target = SE.usr
+node table = {SE.usr=node SE.usr}
+
+@@@@@ creating set of size 0
+-------BEGIN-OPPO-SEARCH------------
+###Adding SE.friendly.usr ^ USEUCOM.NRetTacUsr,node SE.friendly.usr ^ USEUCOM.NRetTacUsr
+-------END-OPPO-SEARCH--------------
+-------BEGIN-OPPO-SEARCH------------
+-------END-OPPO-SEARCH--------------
+Getting oppo chain from SE.friendly.usr ^ USEUCOM.NRetTacUsr to SE.friendly.usr ^ USEUCOM.NRetTacUsr
+source = SE.friendly.usr ^ USEUCOM.NRetTacUsr
+target = SE.friendly.usr ^ USEUCOM.NRetTacUsr
+node table = {SE.friendly.usr ^ USEUCOM.NRetTacUsr=node SE.friendly.usr ^ USEUCOM.NRetTacUsr, SE.usr=node SE.usr}
+-------BEGIN-LOCAL-SEARCH------------
+###Adding SE.friendly,node SE.friendly
+###Adding SE.friendly,SE.friendly<-US
+###Adding US,node US
+###Adding US,node US
+-------END-LOCAL-SEARCH--------------
+-------BEGIN-OPPO-SEARCH------------
+###Adding US.usr,node US.usr
+-------END-OPPO-SEARCH--------------
+-------BEGIN-SENS-SEARCH------------
+searching for SE.usr
+map = [2]{}
+--------END-SENS-SEARCH-------------
+-------BEGIN-SENS-SEARCH------------
+searching for USEUCOM.NRetTacUsr
+###Adding USEUCOM.NRetTacUsr,USEUCOM.NRetTacUsr<-USN.assignedNRet
+###Adding USN.assignedNRet,node USN.assignedNRet
+###Adding USN.assignedNRet,node USN.assignedNRet
+map = [2]{USN.assignedNRet=[node USN.assignedNRet]}
+--------END-SENS-SEARCH-------------
+-------BEGIN-SENS-SEARCH------------
+searching for USEUCOM.NRetTacUsr
+map = [2]{USN.assignedNRet=[node USN.assignedNRet]}
+--------END-SENS-SEARCH-------------
+---------BEGIN-SENS-CHAIN----------
+Getting sens chain from USEUCOM.NRetTacUsr to USN.assignedNRet
+source = USEUCOM.NRetTacUsr
+target = USN.assignedNRet
+node table = {SE.usr=node SE.usr, USN.assignedNRet=node USN.assignedNRet, USEUCOM.NRetTacUsr=node USEUCOM.NRetTacUsr}
+
+@@@@@ this = USEUCOM.NRetTacUsr
+solutions = [2]{USN.assignedNRet=[node USN.assignedNRet]}
+soln = [node USN.assignedNRet]
+
+@@@@@ next = USN.assignedNRet
+
+@@@@@ creating set of size 1
+
+@@@@@ children  = [2]{USEUCOM.NRetTacUsr=[USEUCOM.NRetTacUsr<-USN.assignedNRet]}
+results = [USEUCOM.NRetTacUsr<-USN.assignedNRet]
+-----------END-SENS-CHAIN----------
+
+-------BEGIN-SENS-SEARCH------------
+searching for US.usr
+###Adding US.usr,US.usr<-USSH
+###Adding USSH,node USSH
+###Adding USSH,node USSH
+map = [2]{USSH=[node USSH]}
+--------END-SENS-SEARCH-------------
+-------BEGIN-SENS-SEARCH------------
+searching for US.usr
+map = [2]{USSH=[node USSH]}
+--------END-SENS-SEARCH-------------
+---------BEGIN-SENS-CHAIN----------
+Getting sens chain from US.usr to USSH
+source = US.usr
+target = USSH
+node table = {USSH=node USSH, SE.usr=node SE.usr, US.usr=node US.usr, USN.assignedNRet=node USN.assignedNRet, USEUCOM.NRetTacUsr=node USEUCOM.NRetTacUsr}
+
+@@@@@ this = US.usr
+solutions = [2]{USSH=[node USSH]}
+soln = [node USSH]
+
+@@@@@ next = USSH
+
+@@@@@ children  = [2]{US.usr=[US.usr<-USSH]}
+results = [US.usr<-USSH]
+-----------END-SENS-CHAIN----------
+
+Finding credential defining the role: <USN.assignedNRet>
+oppoFrontier = credentials=[US.friendly<-SE, US.friendly<-US]
+indexByIssuer={US=[US.friendly<-SE, US.friendly<-US]}
+indexByRole={US.friendly=[US.friendly<-SE, US.friendly<-US]}
+indexBySubject={US=[US.friendly<-US], SE=[US.friendly<-SE]}
+count = 1
+-------BEGIN-SENS-SEARCH------------
+searching for USSH
+map = [2]{USSH=[node USSH]}
+--------END-SENS-SEARCH-------------
+-------BEGIN-LOCAL-SEARCH------------
+###Adding US.friendly,node US.friendly
+###Adding US.friendly,US.friendly<-SE
+###Adding US.friendly,US.friendly<-US
+###Adding SE,node SE
+###Adding SE,node SE
+###Adding US,node US
+###Adding US,node US
+-------END-LOCAL-SEARCH--------------
+-------BEGIN-OPPO-SEARCH------------
+###Adding US.usr,node US.usr
+-------END-OPPO-SEARCH--------------
+-------BEGIN-OPPO-SEARCH------------
+###Adding SE.usr,node SE.usr
+-------END-OPPO-SEARCH--------------
+###Adding USEUCOM.NRetTacUsr,node USEUCOM.NRetTacUsr
+###Adding USEUCOM.NRetTacUsr,USEUCOM.NRetTacUsr<-USN.assignedNRet
+###Adding USN.assignedNRet,node USN.assignedNRet
+###Adding USN.assignedNRet,node USN.assignedNRet
+source = USEUCOM.NRetTacUsr
+target = USN.assignedNRet
+node table = {USN.assignedNRet=node USN.assignedNRet, USEUCOM.NRetTacUsr=node USEUCOM.NRetTacUsr}
+
+@@@@@ this = USEUCOM.NRetTacUsr
+solutions = [2]{USN.assignedNRet=[node USN.assignedNRet], USEUCOM.NRetTacUsr=[node USEUCOM.NRetTacUsr]}
+soln = [node USN.assignedNRet]
+
+@@@@@ next = USN.assignedNRet
+
+@@@@@ creating set of size 1
+
+@@@@@ children  = [2]{USEUCOM.NRetTacUsr=[USEUCOM.NRetTacUsr<-USN.assignedNRet]}
+###Adding US.usr,node US.usr
+###Adding US.usr,US.usr<-USSH
+###Adding USSH,node USSH
+###Adding USSH,node USSH
+source = US.usr
+target = USSH
+node table = {USSH=node USSH, US.usr=node US.usr, USN.assignedNRet=node USN.assignedNRet, USEUCOM.NRetTacUsr=node USEUCOM.NRetTacUsr}
+
+@@@@@ this = US.usr
+solutions = [2]{USSH=[node USSH], US.usr=[node US.usr]}
+soln = [node USSH]
+
+@@@@@ next = USSH
+
+@@@@@ children  = [2]{US.usr=[US.usr<-USSH]}
+-------BEGIN-SENS-SEARCH------------
+searching for US.usr
+map = [2]{}
+--------END-SENS-SEARCH-------------
+-------BEGIN-SENS-SEARCH------------
+searching for SE.usr
+###Adding SE.usr,SE.usr<-SAdmir
+###Adding SAdmir,node SAdmir
+###Adding SAdmir,node SAdmir
+map = [2]{SAdmir=[node SAdmir]}
+--------END-SENS-SEARCH-------------
+-------BEGIN-SENS-SEARCH------------
+searching for SE.usr
+map = [2]{SAdmir=[node SAdmir]}
+--------END-SENS-SEARCH-------------
+---------BEGIN-SENS-CHAIN----------
+Getting sens chain from SE.usr to SAdmir
+source = SE.usr
+target = SAdmir
+node table = {SE.usr=node SE.usr, US.usr=node US.usr, SAdmir=node SAdmir}
+
+@@@@@ this = SE.usr
+solutions = [2]{SAdmir=[node SAdmir]}
+soln = [node SAdmir]
+
+@@@@@ next = SAdmir
+
+@@@@@ children  = [2]{SE.usr=[SE.usr<-SAdmir]}
+results = [SE.usr<-SAdmir]
+-----------END-SENS-CHAIN----------
+
+###Adding SE.usr,node SE.usr
+###Adding SE.usr,SE.usr<-SAdmir
+###Adding SAdmir,node SAdmir
+###Adding SAdmir,node SAdmir
+source = SE.usr
+target = SAdmir
+node table = {SE.usr=node SE.usr, SAdmir=node SAdmir}
+
+@@@@@ this = SE.usr
+solutions = [2]{SE.usr=[node SE.usr], SAdmir=[node SAdmir]}
+soln = [node SAdmir]
+
+@@@@@ next = SAdmir
+
+@@@@@ children  = [2]{SE.usr=[SE.usr<-SAdmir]}
+###Adding USN.assignedNRet,USN.assignedNRet<-USSH
+###Adding USSH,node USSH
+###Adding USSH,node USN.assignedNRet
+source = USN.assignedNRet
+target = USSH
+node table = {USSH=node USSH, US.usr=node US.usr, USN.assignedNRet=node USN.assignedNRet, USEUCOM.NRetTacUsr=node USEUCOM.NRetTacUsr}
+
+@@@@@ this = USN.assignedNRet
+solutions = [2]{USN.assignedNRet=[node USN.assignedNRet], USSH=[node USSH]}
+soln = [node USSH]
+
+@@@@@ next = USSH
+
+@@@@@ children  = [2]{USN.assignedNRet=[USN.assignedNRet<-USSH], US.usr=[US.usr<-USSH]}
