1 | Finding credential defining the role: <SAdmir.getsSLocs> |
---|
2 | count = 1 |
---|
3 | count = 2 |
---|
4 | count = 3 |
---|
5 | oppoFrontier = credentials=[SAdmir.getsSLocs<-SENavy.usr, SAdmir.needsSLocs<-SAdmir.NRetTacCom.NRetTacUsr, SAdmir.getsSLocs<-SAdmir.needsSLocs, SAdmir.NRetTacCom<-USEUCOM.NRetUSTacCom, SAdmir.NRetTacCom<-FinnCOM.NRetFinnTacCom, SE.friendly<-US, SAdmir.getsSLocs<-SEAFHQ.usr] |
---|
6 | indexByIssuer={SE=[SE.friendly<-US], SAdmir=[SAdmir.getsSLocs<-SENavy.usr, SAdmir.needsSLocs<-SAdmir.NRetTacCom.NRetTacUsr, SAdmir.getsSLocs<-SAdmir.needsSLocs, SAdmir.NRetTacCom<-USEUCOM.NRetUSTacCom, SAdmir.NRetTacCom<-FinnCOM.NRetFinnTacCom, SAdmir.getsSLocs<-SEAFHQ.usr]} |
---|
7 | indexByRole={SAdmir.NRetTacCom=[SAdmir.NRetTacCom<-USEUCOM.NRetUSTacCom, SAdmir.NRetTacCom<-FinnCOM.NRetFinnTacCom], SAdmir.needsSLocs=[SAdmir.needsSLocs<-SAdmir.NRetTacCom.NRetTacUsr], SE.friendly=[SE.friendly<-US], SAdmir.getsSLocs=[SAdmir.getsSLocs<-SENavy.usr, SAdmir.getsSLocs<-SAdmir.needsSLocs, SAdmir.getsSLocs<-SEAFHQ.usr]} |
---|
8 | indexBySubject={SENavy.usr=[SAdmir.getsSLocs<-SENavy.usr], US=[SE.friendly<-US], USEUCOM.NRetUSTacCom=[SAdmir.NRetTacCom<-USEUCOM.NRetUSTacCom], SAdmir.needsSLocs=[SAdmir.getsSLocs<-SAdmir.needsSLocs], FinnCOM.NRetFinnTacCom=[SAdmir.NRetTacCom<-FinnCOM.NRetFinnTacCom], SEAFHQ.usr=[SAdmir.getsSLocs<-SEAFHQ.usr], SAdmir.NRetTacCom.NRetTacUsr=[SAdmir.needsSLocs<-SAdmir.NRetTacCom.NRetTacUsr]} |
---|
9 | -------BEGIN-OPPO-SEARCH------------ |
---|
10 | ###Adding SENavy.usr,node SENavy.usr |
---|
11 | -------END-OPPO-SEARCH-------------- |
---|
12 | -------BEGIN-OPPO-SEARCH------------ |
---|
13 | -------END-OPPO-SEARCH-------------- |
---|
14 | Getting oppo chain from SENavy.usr to SENavy.usr |
---|
15 | source = SENavy.usr |
---|
16 | target = SENavy.usr |
---|
17 | node table = {SENavy.usr=node SENavy.usr} |
---|
18 | |
---|
19 | @@@@@ creating set of size 0 |
---|
20 | -------BEGIN-OPPO-SEARCH------------ |
---|
21 | ###Adding SAdmir.needsSLocs,SAdmir.needsSLocs<-SAdmir.NRetTacCom.NRetTacUsr |
---|
22 | ###Adding SAdmir.NRetTacCom.NRetTacUsr,node SAdmir.NRetTacCom.NRetTacUsr |
---|
23 | ###Adding SAdmir.NRetTacCom.NRetTacUsr,node SAdmir.NRetTacCom.NRetTacUsr |
---|
24 | -------END-OPPO-SEARCH-------------- |
---|
25 | -------BEGIN-OPPO-SEARCH------------ |
---|
26 | -------END-OPPO-SEARCH-------------- |
---|
27 | Getting oppo chain from SAdmir.needsSLocs to SAdmir.NRetTacCom.NRetTacUsr |
---|
28 | source = SAdmir.needsSLocs |
---|
29 | target = SAdmir.NRetTacCom.NRetTacUsr |
---|
30 | node table = {SENavy.usr=node SENavy.usr, SAdmir.needsSLocs=node SAdmir.needsSLocs, SAdmir.NRetTacCom.NRetTacUsr=node SAdmir.NRetTacCom.NRetTacUsr} |
---|
31 | |
---|
32 | @@@@@ this = SAdmir.needsSLocs |
---|
33 | solutions = [2]{SAdmir.NRetTacCom.NRetTacUsr=[node SAdmir.NRetTacCom.NRetTacUsr]} |
---|
34 | soln = [node SAdmir.NRetTacCom.NRetTacUsr] |
---|
35 | |
---|
36 | @@@@@ next = SAdmir.NRetTacCom.NRetTacUsr |
---|
37 | |
---|
38 | @@@@@ children = [2]{SAdmir.needsSLocs=[SAdmir.needsSLocs<-SAdmir.NRetTacCom.NRetTacUsr]} |
---|
39 | -------BEGIN-OPPO-SEARCH------------ |
---|
40 | ###Adding SEAFHQ.usr,node SEAFHQ.usr |
---|
41 | -------END-OPPO-SEARCH-------------- |
---|
42 | -------BEGIN-OPPO-SEARCH------------ |
---|
43 | -------END-OPPO-SEARCH-------------- |
---|
44 | Getting oppo chain from SEAFHQ.usr to SEAFHQ.usr |
---|
45 | source = SEAFHQ.usr |
---|
46 | target = SEAFHQ.usr |
---|
47 | node table = {SENavy.usr=node SENavy.usr, SAdmir.needsSLocs=node SAdmir.needsSLocs, SEAFHQ.usr=node SEAFHQ.usr, SAdmir.NRetTacCom.NRetTacUsr=node SAdmir.NRetTacCom.NRetTacUsr} |
---|
48 | |
---|
49 | @@@@@ creating set of size 0 |
---|
50 | Finding credential defining the role name: NRetTacUsr |
---|
51 | count = 1 |
---|
52 | -------BEGIN-SENS-SEARCH------------ |
---|
53 | searching for RADMSmith.NRetTacUsr |
---|
54 | ###Adding RADMSmith.NRetTacUsr,RADMSmith.NRetTacUsr<-USN.assignedNRet |
---|
55 | ###Adding USN.assignedNRet,node USN.assignedNRet |
---|
56 | ###Adding USN.assignedNRet,node USN.assignedNRet |
---|
57 | map = [2]{USN.assignedNRet=[node USN.assignedNRet]} |
---|
58 | --------END-SENS-SEARCH------------- |
---|
59 | -------BEGIN-SENS-SEARCH------------ |
---|
60 | searching for RADMSmith.NRetTacUsr |
---|
61 | map = [2]{USN.assignedNRet=[node USN.assignedNRet]} |
---|
62 | --------END-SENS-SEARCH------------- |
---|
63 | ---------BEGIN-SENS-CHAIN---------- |
---|
64 | Getting sens chain from RADMSmith.NRetTacUsr to USN.assignedNRet |
---|
65 | source = RADMSmith.NRetTacUsr |
---|
66 | target = USN.assignedNRet |
---|
67 | node table = {USN.assignedNRet=node USN.assignedNRet, RADMSmith.NRetTacUsr=node RADMSmith.NRetTacUsr} |
---|
68 | |
---|
69 | @@@@@ this = RADMSmith.NRetTacUsr |
---|
70 | solutions = [2]{USN.assignedNRet=[node USN.assignedNRet]} |
---|
71 | soln = [node USN.assignedNRet] |
---|
72 | |
---|
73 | @@@@@ next = USN.assignedNRet |
---|
74 | |
---|
75 | @@@@@ creating set of size 1 |
---|
76 | |
---|
77 | @@@@@ children = [2]{RADMSmith.NRetTacUsr=[RADMSmith.NRetTacUsr<-USN.assignedNRet]} |
---|
78 | results = [RADMSmith.NRetTacUsr<-USN.assignedNRet] |
---|
79 | -----------END-SENS-CHAIN---------- |
---|
80 | |
---|
81 | Finding credential defining the role: <USN.assignedNRet> |
---|
82 | oppoFrontier = credentials=[US.friendly<-SE] |
---|
83 | indexByIssuer={US=[US.friendly<-SE]} |
---|
84 | indexByRole={US.friendly=[US.friendly<-SE]} |
---|
85 | indexBySubject={SE=[US.friendly<-SE]} |
---|
86 | count = 1 |
---|
87 | -------BEGIN-SENS-SEARCH------------ |
---|
88 | searching for USSB |
---|
89 | ###Adding USSB,node USSB |
---|
90 | map = [2]{USSB=[node USSB]} |
---|
91 | --------END-SENS-SEARCH------------- |
---|
92 | -------BEGIN-LOCAL-SEARCH------------ |
---|
93 | ###Adding US.friendly,node US.friendly |
---|
94 | ###Adding US.friendly,US.friendly<-SE |
---|
95 | ###Adding SE,node SE |
---|
96 | ###Adding SE,node SE |
---|
97 | -------END-LOCAL-SEARCH-------------- |
---|
98 | -------BEGIN-OPPO-SEARCH------------ |
---|
99 | ###Adding SE.usr,node SE.usr |
---|
100 | -------END-OPPO-SEARCH-------------- |
---|
101 | ###Adding RADMSmith.NRetTacUsr,node RADMSmith.NRetTacUsr |
---|
102 | ###Adding RADMSmith.NRetTacUsr,RADMSmith.NRetTacUsr<-USN.assignedNRet |
---|
103 | ###Adding USN.assignedNRet,node USN.assignedNRet |
---|
104 | ###Adding USN.assignedNRet,node USN.assignedNRet |
---|
105 | source = RADMSmith.NRetTacUsr |
---|
106 | target = USN.assignedNRet |
---|
107 | node table = {USN.assignedNRet=node USN.assignedNRet, RADMSmith.NRetTacUsr=node RADMSmith.NRetTacUsr} |
---|
108 | |
---|
109 | @@@@@ this = RADMSmith.NRetTacUsr |
---|
110 | solutions = [2]{USN.assignedNRet=[node USN.assignedNRet], RADMSmith.NRetTacUsr=[node RADMSmith.NRetTacUsr]} |
---|
111 | soln = [node USN.assignedNRet] |
---|
112 | |
---|
113 | @@@@@ next = USN.assignedNRet |
---|
114 | |
---|
115 | @@@@@ creating set of size 1 |
---|
116 | |
---|
117 | @@@@@ children = [2]{RADMSmith.NRetTacUsr=[RADMSmith.NRetTacUsr<-USN.assignedNRet]} |
---|
118 | -------BEGIN-SENS-SEARCH------------ |
---|
119 | searching for SE.usr |
---|
120 | ###Adding SE.usr,SE.usr<-SAdmir |
---|
121 | ###Adding SAdmir,node SAdmir |
---|
122 | ###Adding SAdmir,node SAdmir |
---|
123 | map = [2]{SAdmir=[node SAdmir]} |
---|
124 | --------END-SENS-SEARCH------------- |
---|
125 | -------BEGIN-SENS-SEARCH------------ |
---|
126 | searching for SE.usr |
---|
127 | map = [2]{SAdmir=[node SAdmir]} |
---|
128 | --------END-SENS-SEARCH------------- |
---|
129 | ---------BEGIN-SENS-CHAIN---------- |
---|
130 | Getting sens chain from SE.usr to SAdmir |
---|
131 | source = SE.usr |
---|
132 | target = SAdmir |
---|
133 | node table = {SE.usr=node SE.usr, SAdmir=node SAdmir} |
---|
134 | |
---|
135 | @@@@@ this = SE.usr |
---|
136 | solutions = [2]{SAdmir=[node SAdmir]} |
---|
137 | soln = [node SAdmir] |
---|
138 | |
---|
139 | @@@@@ next = SAdmir |
---|
140 | |
---|
141 | @@@@@ children = [2]{SE.usr=[SE.usr<-SAdmir]} |
---|
142 | results = [SE.usr<-SAdmir] |
---|
143 | -----------END-SENS-CHAIN---------- |
---|
144 | |
---|
145 | ###Adding SE.usr,node SE.usr |
---|
146 | ###Adding SE.usr,SE.usr<-SAdmir |
---|
147 | ###Adding SAdmir,node SAdmir |
---|
148 | ###Adding SAdmir,node SAdmir |
---|
149 | source = SE.usr |
---|
150 | target = SAdmir |
---|
151 | node table = {SE.usr=node SE.usr, SAdmir=node SAdmir} |
---|
152 | |
---|
153 | @@@@@ this = SE.usr |
---|
154 | solutions = [2]{SE.usr=[node SE.usr], SAdmir=[node SAdmir]} |
---|
155 | soln = [node SAdmir] |
---|
156 | |
---|
157 | @@@@@ next = SAdmir |
---|
158 | |
---|
159 | @@@@@ children = [2]{SE.usr=[SE.usr<-SAdmir]} |
---|
160 | ###Adding USN.assignedNRet,USN.assignedNRet<-USSB |
---|
161 | ###Adding USSB,node USSB |
---|
162 | ###Adding USSB,node USSB |
---|
163 | ###Adding USSB,node USN.assignedNRet |
---|
164 | source = USN.assignedNRet |
---|
165 | target = USSB |
---|
166 | node table = {USN.assignedNRet=node USN.assignedNRet, RADMSmith.NRetTacUsr=node RADMSmith.NRetTacUsr, USSB=node USSB} |
---|
167 | |
---|
168 | @@@@@ this = USN.assignedNRet |
---|
169 | solutions = [2]{USN.assignedNRet=[node USN.assignedNRet], USSB=[node USSB]} |
---|
170 | soln = [node USSB] |
---|
171 | |
---|
172 | @@@@@ next = USSB |
---|
173 | |
---|
174 | @@@@@ children = [2]{USN.assignedNRet=[USN.assignedNRet<-USSB]} |
---|
175 | Finding credential defining the role: <SAdmir.NRetTacCom> |
---|
176 | count = 1 |
---|
177 | count = 2 |
---|
178 | oppoFrontier = credentials=[SAdmir.getsSLocs<-SENavy.usr, SAdmir.needsSLocs<-SAdmir.NRetTacCom.NRetTacUsr, SAdmir.getsSLocs<-SAdmir.needsSLocs, SAdmir.NRetTacCom<-USEUCOM.NRetUSTacCom, SAdmir.NRetTacCom<-FinnCOM.NRetFinnTacCom, SE.friendly<-US, SAdmir.getsSLocs<-SEAFHQ.usr] |
---|
179 | indexByIssuer={SE=[SE.friendly<-US], SAdmir=[SAdmir.getsSLocs<-SENavy.usr, SAdmir.needsSLocs<-SAdmir.NRetTacCom.NRetTacUsr, SAdmir.getsSLocs<-SAdmir.needsSLocs, SAdmir.NRetTacCom<-USEUCOM.NRetUSTacCom, SAdmir.NRetTacCom<-FinnCOM.NRetFinnTacCom, SAdmir.getsSLocs<-SEAFHQ.usr]} |
---|
180 | indexByRole={SAdmir.NRetTacCom=[SAdmir.NRetTacCom<-USEUCOM.NRetUSTacCom, SAdmir.NRetTacCom<-FinnCOM.NRetFinnTacCom], SAdmir.needsSLocs=[SAdmir.needsSLocs<-SAdmir.NRetTacCom.NRetTacUsr], SE.friendly=[SE.friendly<-US], SAdmir.getsSLocs=[SAdmir.getsSLocs<-SENavy.usr, SAdmir.getsSLocs<-SAdmir.needsSLocs, SAdmir.getsSLocs<-SEAFHQ.usr]} |
---|
181 | indexBySubject={SENavy.usr=[SAdmir.getsSLocs<-SENavy.usr], US=[SE.friendly<-US], USEUCOM.NRetUSTacCom=[SAdmir.NRetTacCom<-USEUCOM.NRetUSTacCom], SAdmir.needsSLocs=[SAdmir.getsSLocs<-SAdmir.needsSLocs], FinnCOM.NRetFinnTacCom=[SAdmir.NRetTacCom<-FinnCOM.NRetFinnTacCom], SEAFHQ.usr=[SAdmir.getsSLocs<-SEAFHQ.usr], SAdmir.NRetTacCom.NRetTacUsr=[SAdmir.needsSLocs<-SAdmir.NRetTacCom.NRetTacUsr]} |
---|
182 | -------BEGIN-OPPO-SEARCH------------ |
---|
183 | ###Adding USEUCOM.NRetUSTacCom,node USEUCOM.NRetUSTacCom |
---|
184 | -------END-OPPO-SEARCH-------------- |
---|
185 | -------BEGIN-OPPO-SEARCH------------ |
---|
186 | -------END-OPPO-SEARCH-------------- |
---|
187 | Getting oppo chain from USEUCOM.NRetUSTacCom to USEUCOM.NRetUSTacCom |
---|
188 | source = USEUCOM.NRetUSTacCom |
---|
189 | target = USEUCOM.NRetUSTacCom |
---|
190 | node table = {SENavy.usr=node SENavy.usr, USEUCOM.NRetUSTacCom=node USEUCOM.NRetUSTacCom, SAdmir.needsSLocs=node SAdmir.needsSLocs, SEAFHQ.usr=node SEAFHQ.usr, SAdmir.NRetTacCom.NRetTacUsr=node SAdmir.NRetTacCom.NRetTacUsr} |
---|
191 | |
---|
192 | @@@@@ creating set of size 0 |
---|
193 | -------BEGIN-OPPO-SEARCH------------ |
---|
194 | ###Adding FinnCOM.NRetFinnTacCom,node FinnCOM.NRetFinnTacCom |
---|
195 | -------END-OPPO-SEARCH-------------- |
---|
196 | -------BEGIN-OPPO-SEARCH------------ |
---|
197 | -------END-OPPO-SEARCH-------------- |
---|
198 | Getting oppo chain from FinnCOM.NRetFinnTacCom to FinnCOM.NRetFinnTacCom |
---|
199 | source = FinnCOM.NRetFinnTacCom |
---|
200 | target = FinnCOM.NRetFinnTacCom |
---|
201 | node table = {SENavy.usr=node SENavy.usr, USEUCOM.NRetUSTacCom=node USEUCOM.NRetUSTacCom, SAdmir.needsSLocs=node SAdmir.needsSLocs, FinnCOM.NRetFinnTacCom=node FinnCOM.NRetFinnTacCom, SEAFHQ.usr=node SEAFHQ.usr, SAdmir.NRetTacCom.NRetTacUsr=node SAdmir.NRetTacCom.NRetTacUsr} |
---|
202 | |
---|
203 | @@@@@ creating set of size 0 |
---|
204 | -------BEGIN-SIMP-SEARCH------------ |
---|
205 | ###Adding USEUCOM.NRetUSTacCom,USEUCOM.NRetUSTacCom<-RADMSmith |
---|
206 | ###Adding RADMSmith,node RADMSmith |
---|
207 | ###Adding RADMSmith,node RADMSmith |
---|
208 | --------END-SIMP-SEARCH------------ |
---|
209 | -------BEGIN-SIMP-SEARCH------------ |
---|
210 | --------END-SIMP-SEARCH------------ |
---|
211 | source = USEUCOM.NRetUSTacCom |
---|
212 | target = RADMSmith |
---|
213 | node table = {USEUCOM.NRetUSTacCom=node USEUCOM.NRetUSTacCom, RADMSmith=node RADMSmith} |
---|
214 | |
---|
215 | @@@@@ this = USEUCOM.NRetUSTacCom |
---|
216 | solutions = [2]{RADMSmith=[node RADMSmith]} |
---|
217 | soln = [node RADMSmith] |
---|
218 | |
---|
219 | @@@@@ next = RADMSmith |
---|
220 | |
---|
221 | @@@@@ children = [2]{USEUCOM.NRetUSTacCom=[USEUCOM.NRetUSTacCom<-RADMSmith]} |
---|
222 | ###Adding USEUCOM.NRetUSTacCom,node USEUCOM.NRetUSTacCom |
---|
223 | ###Adding USEUCOM.NRetUSTacCom,USEUCOM.NRetUSTacCom<-RADMSmith |
---|
224 | ###Adding RADMSmith,node RADMSmith |
---|
225 | ###Adding RADMSmith,node RADMSmith |
---|
226 | source = USEUCOM.NRetUSTacCom |
---|
227 | target = RADMSmith |
---|
228 | node table = {USEUCOM.NRetUSTacCom=node USEUCOM.NRetUSTacCom, RADMSmith=node RADMSmith, USN.assignedNRet=node USN.assignedNRet, RADMSmith.NRetTacUsr=node RADMSmith.NRetTacUsr, USSB=node USSB} |
---|
229 | |
---|
230 | @@@@@ this = USEUCOM.NRetUSTacCom |
---|
231 | solutions = [2]{USEUCOM.NRetUSTacCom=[node USEUCOM.NRetUSTacCom], RADMSmith=[node RADMSmith]} |
---|
232 | soln = [node RADMSmith] |
---|
233 | |
---|
234 | @@@@@ next = RADMSmith |
---|
235 | |
---|
236 | @@@@@ children = [2]{USEUCOM.NRetUSTacCom=[USEUCOM.NRetUSTacCom<-RADMSmith]} |
---|