2-APL UPC project.
0
fork

Configure Feed

Select the types of activity you want to include in your feed.

shuffling event returns en ampty deck

cyberslas 0f137bd2 f52fd7bc

+159 -98
+21 -9
code/2apl_platform/briscola_chiamata/dealer.2apl
··· 5 5 notary(n). 6 6 gatekeeper(gk). 7 7 player(X) :- assigned(POS, X). 8 - 8 + 9 9 Plans: 10 10 @cardtable(enterAsDealer()) 11 11 ··· 15 15 SetAssigned(POS, Y) 16 16 } 17 17 18 - message(X, inform, _, _, dealer(Y)) <- true | 18 + message(X, inform, _, _, dealer(Y)) <- true | 19 19 { 20 20 /* here start shuffling and dealing cards */ 21 - /* send cards */ 21 + @cardtable(shuffleDeck()) 22 + 23 + } 24 + 25 + deckShuffled(X) <- true | 26 + { 27 + /* send cards */ 28 + B( X = [ [C1, C2, C3, C4, C5, C6, C7, C8] | T1] ); 22 29 B( assigned(0, P0) ); 23 - send (P0, inform, givecards([1,2,3,4,6,7,8])); 30 + send (P0, inform, givecards([C1, C2, C3, C4, C6, C7, C8])); 31 + B( T1 = [C1, C2, C3, C4, C5, C6, C7, C8 | T2] ); 24 32 B( assigned(1, P1) ); 25 - send (P1, inform, givecards([1,2,3,4,6,7,8])); 33 + send (P1, inform, givecards([C1, C2, C3, C4, C6, C7, C8])); 34 + B( T2 = [C1, C2, C3, C4, C5, C6, C7, C8 | T3] ); 26 35 B( assigned(2, P2) ); 27 - send (P2, inform, givecards([1,2,3,4,6,7,8])); 36 + send (P2, inform, givecards([C1, C2, C3, C4, C6, C7, C8])); 37 + B( T3 = [C1, C2, C3, C4, C5, C6, C7, C8 | T4] ); 28 38 B( assigned(3, P3) ); 29 - send (P3, inform, givecards([1,2,3,4,6,7,8])); 39 + send (P3, inform, givecards([C1, C2, C3, C4, C6, C7, C8])); 40 + B( T4 = [C1, C2, C3, C4, C5, C6, C7, C8 | _ ] ); 30 41 B( assigned(4, P4) ); 31 - send (P4, inform, givecards([1,2,3,4,6,7,8])) 32 - } 42 + send (P4, inform, givecards([C1, C2, C3, C4, C6, C7, C8])) 43 + } 44 +
+138 -89
docs/briscola_chiamata/pdt/BriscolaChiamata.pd
··· 10394 10394 </list> 10395 10395 </field> 10396 10396 </object> 10397 + 10398 + <object type="DiagramSettings" id="1029"> 10399 + <field name="diagramId"> 10400 + <object type="DiagramId" id="1030"> 10401 + <field name="stringId">au.edu.rmit.cs.prometheus.gui.diagram.capabilityoverview.CapabilityOverviewDiagramModel#278</field> 10402 + </object> 10403 + </field> 10404 + <field name="entitySettings"><list> 10405 + <object type="DiagramEntitySetting" id="1031"> 10406 + <field name="entity"> 10407 + <object ref="211"/> 10408 + </field> 10409 + <field name="location"> 10410 + <object type="Coordinate" id="1032"> 10411 + <field name="x">37</field> 10412 + <field name="y">25</field> 10413 + </object> 10414 + </field> 10415 + <field name="userApproved">:false</field> 10416 + </object> 10417 + 10418 + <object type="DiagramEntitySetting" id="1033"> 10419 + <field name="entity"> 10420 + <object ref="222"/> 10421 + </field> 10422 + <field name="location"> 10423 + <object type="Coordinate" id="1034"> 10424 + <field name="x">197</field> 10425 + <field name="y">25</field> 10426 + </object> 10427 + </field> 10428 + <field name="userApproved">:false</field> 10429 + </object> 10430 + 10431 + <object type="DiagramEntitySetting" id="1035"> 10432 + <field name="entity"> 10433 + <object ref="212"/> 10434 + </field> 10435 + <field name="location"> 10436 + <object type="Coordinate" id="1036"> 10437 + <field name="x">117</field> 10438 + <field name="y">25</field> 10439 + </object> 10440 + </field> 10441 + <field name="userApproved">:false</field> 10442 + </object> 10443 + </list> 10444 + </field> 10445 + </object> 10397 10446 </list> 10398 10447 </field> 10399 10448 <field name="model"> 10400 - <object type="PrometheusModelData" id="1029"> 10449 + <object type="PrometheusModelData" id="1037"> 10401 10450 <field name="projectData"> 10402 10451 <object ref="1"/> 10403 10452 </field> ··· 10910 10959 </list> 10911 10960 </field> 10912 10961 <field name="systemOverviewDiagramData"> 10913 - <object type="SystemOverviewDiagramData" id="1030"> 10962 + <object type="SystemOverviewDiagramData" id="1038"> 10914 10963 <field name="agents"><list> 10915 10964 <object ref="29"/> 10916 10965 ··· 11014 11063 </object> 11015 11064 </field> 11016 11065 <field name="rolesDiagramData"> 11017 - <object type="RolesDiagramData" id="1031"> 11066 + <object type="RolesDiagramData" id="1039"> 11018 11067 <field name="goals"><list> 11019 11068 <object ref="63"/> 11020 11069 ··· 11110 11159 </object> 11111 11160 </field> 11112 11161 <field name="analysisOverviewDiagramData"> 11113 - <object type="AnalysisOverviewDiagramData" id="1032"> 11162 + <object type="AnalysisOverviewDiagramData" id="1040"> 11114 11163 <field name="entities"><list> 11115 11164 <object ref="6"/> 11116 11165 ··· 11186 11235 <field name="actorsDiagramNotes"> 11187 11236 </field> 11188 11237 <field name="scenariosDiagramData"> 11189 - <object type="ScenariosDiagramData" id="1033"> 11238 + <object type="ScenariosDiagramData" id="1041"> 11190 11239 </object> 11191 11240 </field> 11192 11241 <field name="goalOverviewDiagramData"> 11193 - <object type="GoalOverviewDiagramData" id="1034"> 11242 + <object type="GoalOverviewDiagramData" id="1042"> 11194 11243 </object> 11195 11244 </field> 11196 11245 <field name="dataCouplingDiagramData"> 11197 - <object type="DataCouplingDiagramData" id="1035"> 11246 + <object type="DataCouplingDiagramData" id="1043"> 11198 11247 </object> 11199 11248 </field> 11200 11249 <field name="agentRoleCouplingDiagramData"> 11201 - <object type="AgentRoleCouplingDiagramData" id="1036"> 11250 + <object type="AgentRoleCouplingDiagramData" id="1044"> 11202 11251 </object> 11203 11252 </field> 11204 11253 <field name="agentOverviewDiagramData"> 11205 - <object type="AgentOverviewDiagramData" id="1037"> 11254 + <object type="AgentOverviewDiagramData" id="1045"> 11206 11255 </object> 11207 11256 </field> 11208 11257 <field name="capabilityOverviewDiagramData"> 11209 - <object type="CapabilityOverviewDiagramData" id="1038"> 11258 + <object type="CapabilityOverviewDiagramData" id="1046"> 11210 11259 </object> 11211 11260 </field> 11212 11261 <field name="deletedEntitiesForCodeGen"><list> 11213 - <object type="Entity" id="1039"> 11262 + <object type="Entity" id="1047"> 11214 11263 <field name="name">Begin game</field> 11215 11264 </object> 11216 11265 11217 - <object type="Entity" id="1040"> 11266 + <object type="Entity" id="1048"> 11218 11267 <field name="name">Board</field> 11219 11268 </object> 11220 11269 11221 - <object type="Entity" id="1041"> 11270 + <object type="Entity" id="1049"> 11222 11271 <field name="name">Bidding</field> 11223 11272 </object> 11224 11273 11225 - <object type="Entity" id="1042"> 11274 + <object type="Entity" id="1050"> 11226 11275 <field name="name">Croupier</field> 11227 11276 </object> 11228 11277 11229 - <object type="Entity" id="1043"> 11278 + <object type="Entity" id="1051"> 11230 11279 <field name="name">Card dealer</field> 11231 11280 </object> 11232 11281 11233 - <object type="Entity" id="1044"> 11282 + <object type="Entity" id="1052"> 11234 11283 <field name="name">Begin</field> 11235 11284 </object> 11236 11285 11237 - <object type="Entity" id="1045"> 11286 + <object type="Entity" id="1053"> 11238 11287 <field name="name">Pass</field> 11239 11288 </object> 11240 11289 11241 - <object type="Entity" id="1046"> 11290 + <object type="Entity" id="1054"> 11242 11291 <field name="name">Choose card dealer</field> 11243 11292 </object> 11244 11293 11245 - <object type="Entity" id="1047"> 11294 + <object type="Entity" id="1055"> 11246 11295 <field name="name">Hand</field> 11247 11296 </object> 11248 11297 11249 - <object type="Entity" id="1048"> 11298 + <object type="Entity" id="1056"> 11250 11299 <field name="name">Scoretable</field> 11251 11300 </object> 11252 11301 11253 - <object type="Entity" id="1049"> 11302 + <object type="Entity" id="1057"> 11254 11303 <field name="name">Talking player</field> 11255 11304 </object> 11256 11305 11257 - <object type="Entity" id="1050"> 11306 + <object type="Entity" id="1058"> 11258 11307 <field name="name">Shuffle deck</field> 11259 11308 </object> 11260 11309 11261 - <object type="Entity" id="1051"> 11310 + <object type="Entity" id="1059"> 11262 11311 <field name="name">Point distribution of each hand</field> 11263 11312 </object> 11264 11313 11265 - <object type="Entity" id="1052"> 11314 + <object type="Entity" id="1060"> 11266 11315 <field name="name">Declare Briscola card</field> 11267 11316 </object> 11268 11317 11269 - <object type="Entity" id="1053"> 11318 + <object type="Entity" id="1061"> 11270 11319 <field name="name">Partner selection scenario</field> 11271 11320 </object> 11272 11321 11273 - <object type="Entity" id="1054"> 11322 + <object type="Entity" id="1062"> 11274 11323 <field name="name">Giving cards scenario</field> 11275 11324 </object> 11276 11325 11277 - <object type="Entity" id="1055"> 11326 + <object type="Entity" id="1063"> 11278 11327 <field name="name">Partner selection</field> 11279 11328 </object> 11280 11329 11281 - <object type="Entity" id="1056"> 11330 + <object type="Entity" id="1064"> 11282 11331 <field name="name">Update player beliefs</field> 11283 11332 </object> 11284 11333 11285 - <object type="Entity" id="1057"> 11334 + <object type="Entity" id="1065"> 11286 11335 <field name="name">Request status</field> 11287 11336 </object> 11288 11337 11289 - <object type="Entity" id="1058"> 11338 + <object type="Entity" id="1066"> 11290 11339 <field name="name">Declare Briscola </field> 11291 11340 </object> 11292 11341 11293 - <object type="Entity" id="1059"> 11342 + <object type="Entity" id="1067"> 11294 11343 <field name="name">Calculate max bid</field> 11295 11344 </object> 11296 11345 11297 - <object type="Entity" id="1060"> 11346 + <object type="Entity" id="1068"> 11298 11347 <field name="name">Hand control role</field> 11299 11348 </object> 11300 11349 11301 - <object type="Entity" id="1061"> 11350 + <object type="Entity" id="1069"> 11302 11351 <field name="name">Sign exchange</field> 11303 11352 </object> 11304 11353 11305 - <object type="Entity" id="1062"> 11354 + <object type="Entity" id="1070"> 11306 11355 <field name="name">Winner declaration</field> 11307 11356 </object> 11308 11357 11309 - <object type="Entity" id="1063"> 11358 + <object type="Entity" id="1071"> 11310 11359 <field name="name">Win the game</field> 11311 11360 </object> 11312 11361 11313 - <object type="Entity" id="1064"> 11362 + <object type="Entity" id="1072"> 11314 11363 <field name="name">Update beliefs about teams settings capability</field> 11315 11364 </object> 11316 11365 11317 - <object type="Entity" id="1065"> 11366 + <object type="Entity" id="1073"> 11318 11367 <field name="name">Judge</field> 11319 11368 </object> 11320 11369 11321 - <object type="Entity" id="1066"> 11370 + <object type="Entity" id="1074"> 11322 11371 <field name="name">&lt;Prometheus unique entity name au.edu.rmit.cs.prometheus.datamodel.jacob.DataConnection ID=112&gt;</field> 11323 11372 </object> 11324 11373 11325 - <object type="Entity" id="1067"> 11374 + <object type="Entity" id="1075"> 11326 11375 <field name="name">agentDiagramPair-103</field> 11327 11376 </object> 11328 11377 11329 - <object type="Entity" id="1068"> 11378 + <object type="Entity" id="1076"> 11330 11379 <field name="name">planMessagePair-104</field> 11331 11380 </object> 11332 11381 11333 - <object type="Entity" id="1069"> 11382 + <object type="Entity" id="1077"> 11334 11383 <field name="name">Other player bid message</field> 11335 11384 </object> 11336 11385 11337 - <object type="Entity" id="1070"> 11386 + <object type="Entity" id="1078"> 11338 11387 <field name="name">Join a game capability</field> 11339 11388 </object> 11340 11389 11341 - <object type="Entity" id="1071"> 11390 + <object type="Entity" id="1079"> 11342 11391 <field name="name">Card</field> 11343 11392 </object> 11344 11393 11345 - <object type="Entity" id="1072"> 11394 + <object type="Entity" id="1080"> 11346 11395 <field name="name">&lt;Prometheus unique entity name au.edu.rmit.cs.prometheus.datamodel.jacob.DataConnection ID=116&gt;</field> 11347 11396 </object> 11348 11397 11349 - <object type="Entity" id="1073"> 11398 + <object type="Entity" id="1081"> 11350 11399 <field name="name">Bidding plan</field> 11351 11400 </object> 11352 11401 11353 - <object type="Entity" id="1074"> 11402 + <object type="Entity" id="1082"> 11354 11403 <field name="name">Game plan</field> 11355 11404 </object> 11356 11405 11357 - <object type="Entity" id="1075"> 11406 + <object type="Entity" id="1083"> 11358 11407 <field name="name">Deal cards capability</field> 11359 11408 </object> 11360 11409 11361 - <object type="Entity" id="1076"> 11410 + <object type="Entity" id="1084"> 11362 11411 <field name="name">&lt;Prometheus unique entity name au.edu.rmit.cs.prometheus.datamodel.jacob.DataConnection ID=94&gt;</field> 11363 11412 </object> 11364 11413 11365 - <object type="Entity" id="1077"> 11414 + <object type="Entity" id="1085"> 11366 11415 <field name="name">Bid capability</field> 11367 11416 </object> 11368 11417 11369 - <object type="Entity" id="1078"> 11418 + <object type="Entity" id="1086"> 11370 11419 <field name="name">Join the game</field> 11371 11420 </object> 11372 11421 11373 - <object type="Entity" id="1079"> 11422 + <object type="Entity" id="1087"> 11374 11423 <field name="name">Update my cards</field> 11375 11424 </object> 11376 11425 11377 - <object type="Entity" id="1080"> 11426 + <object type="Entity" id="1088"> 11378 11427 <field name="name">agentDiagramPair-99</field> 11379 11428 </object> 11380 11429 11381 - <object type="Entity" id="1081"> 11430 + <object type="Entity" id="1089"> 11382 11431 <field name="name">planMessagePair-100</field> 11383 11432 </object> 11384 11433 11385 - <object type="Entity" id="1082"> 11434 + <object type="Entity" id="1090"> 11386 11435 <field name="name">Briscola declared message</field> 11387 11436 </object> 11388 11437 11389 - <object type="Entity" id="1083"> 11438 + <object type="Entity" id="1091"> 11390 11439 <field name="name">agentDiagramPair-106</field> 11391 11440 </object> 11392 11441 11393 - <object type="Entity" id="1084"> 11442 + <object type="Entity" id="1092"> 11394 11443 <field name="name">planMessagePair-107</field> 11395 11444 </object> 11396 11445 11397 - <object type="Entity" id="1085"> 11446 + <object type="Entity" id="1093"> 11398 11447 <field name="name">planMessagePair-108</field> 11399 11448 </object> 11400 11449 11401 - <object type="Entity" id="1086"> 11450 + <object type="Entity" id="1094"> 11402 11451 <field name="name">Bid message</field> 11403 11452 </object> 11404 11453 11405 - <object type="Entity" id="1087"> 11454 + <object type="Entity" id="1095"> 11406 11455 <field name="name">&lt;Prometheus unique entity name au.edu.rmit.cs.prometheus.datamodel.jacob.ProtocolDistributionPair ID=129&gt;</field> 11407 11456 </object> 11408 11457 11409 - <object type="Entity" id="1088"> 11458 + <object type="Entity" id="1096"> 11410 11459 <field name="name">Bidding protocol</field> 11411 11460 </object> 11412 11461 11413 - <object type="Entity" id="1089"> 11462 + <object type="Entity" id="1097"> 11414 11463 <field name="name">&lt;Prometheus unique entity name au.edu.rmit.cs.prometheus.datamodel.jacob.DataConnection ID=124&gt;</field> 11415 11464 </object> 11416 11465 11417 - <object type="Entity" id="1090"> 11466 + <object type="Entity" id="1098"> 11418 11467 <field name="name">systemDiagramPair-144</field> 11419 11468 </object> 11420 11469 11421 - <object type="Entity" id="1091"> 11470 + <object type="Entity" id="1099"> 11422 11471 <field name="name">Cheat</field> 11423 11472 </object> 11424 11473 11425 - <object type="Entity" id="1092"> 11474 + <object type="Entity" id="1100"> 11426 11475 <field name="name">&lt;Prometheus unique entity name au.edu.rmit.cs.prometheus.datamodel.jacob.ProtocolDistributionPair ID=158&gt;</field> 11427 11476 </object> 11428 11477 11429 - <object type="Entity" id="1093"> 11478 + <object type="Entity" id="1101"> 11430 11479 <field name="name">Bidding protocol</field> 11431 11480 </object> 11432 11481 11433 - <object type="Entity" id="1094"> 11482 + <object type="Entity" id="1102"> 11434 11483 <field name="name">Cheating plan</field> 11435 11484 </object> 11436 11485 11437 - <object type="Entity" id="1095"> 11486 + <object type="Entity" id="1103"> 11438 11487 <field name="name">Ask for dealer</field> 11439 11488 </object> 11440 11489 11441 - <object type="Entity" id="1096"> 11490 + <object type="Entity" id="1104"> 11442 11491 <field name="name">planMessagePair-201</field> 11443 11492 </object> 11444 11493 11445 - <object type="Entity" id="1097"> 11494 + <object type="Entity" id="1105"> 11446 11495 <field name="name">planMessagePair-200</field> 11447 11496 </object> 11448 11497 11449 - <object type="Entity" id="1098"> 11498 + <object type="Entity" id="1106"> 11450 11499 <field name="name">planMessagePair-199</field> 11451 11500 </object> 11452 11501 11453 - <object type="Entity" id="1099"> 11502 + <object type="Entity" id="1107"> 11454 11503 <field name="name">planMessagePair-198</field> 11455 11504 </object> 11456 11505 11457 - <object type="Entity" id="1100"> 11506 + <object type="Entity" id="1108"> 11458 11507 <field name="name">planMessagePair-201</field> 11459 11508 </object> 11460 11509 11461 - <object type="Entity" id="1101"> 11510 + <object type="Entity" id="1109"> 11462 11511 <field name="name">planMessagePair-205</field> 11463 11512 </object> 11464 11513 11465 - <object type="Entity" id="1102"> 11514 + <object type="Entity" id="1110"> 11466 11515 <field name="name">planMessagePair-206</field> 11467 11516 </object> 11468 11517 11469 - <object type="Entity" id="1103"> 11518 + <object type="Entity" id="1111"> 11470 11519 <field name="name">Do bid</field> 11471 11520 </object> 11472 11521 11473 - <object type="Entity" id="1104"> 11522 + <object type="Entity" id="1112"> 11474 11523 <field name="name">Bid or Pass</field> 11475 11524 </object> 11476 11525 11477 - <object type="Entity" id="1105"> 11526 + <object type="Entity" id="1113"> 11478 11527 <field name="name">planMessagePair-187</field> 11479 11528 </object> 11480 11529 11481 - <object type="Entity" id="1106"> 11530 + <object type="Entity" id="1114"> 11482 11531 <field name="name">capabilityMessagePair-181</field> 11483 11532 </object> 11484 11533 11485 - <object type="Entity" id="1107"> 11534 + <object type="Entity" id="1115"> 11486 11535 <field name="name">&lt;Prometheus unique entity name au.edu.rmit.cs.prometheus.datamodel.jacob.DataConnection ID=225&gt;</field> 11487 11536 </object> 11488 11537 11489 - <object type="Entity" id="1108"> 11538 + <object type="Entity" id="1116"> 11490 11539 <field name="name">Team reasoning capability</field> 11491 11540 </object> 11492 11541 11493 - <object type="Entity" id="1109"> 11542 + <object type="Entity" id="1117"> 11494 11543 <field name="name">Turn control capability</field> 11495 11544 </object> 11496 11545 11497 - <object type="Entity" id="1110"> 11546 + <object type="Entity" id="1118"> 11498 11547 <field name="name">Start the game capability</field> 11499 11548 </object> 11500 11549 11501 - <object type="Entity" id="1111"> 11550 + <object type="Entity" id="1119"> 11502 11551 <field name="name">End the game capability</field> 11503 11552 </object> 11504 11553 11505 - <object type="Entity" id="1112"> 11554 + <object type="Entity" id="1120"> 11506 11555 <field name="name">&lt;Prometheus unique entity name au.edu.rmit.cs.prometheus.datamodel.jacob.ProtocolDistributionPair ID=252&gt;</field> 11507 11556 </object> 11508 11557 11509 - <object type="Entity" id="1113"> 11558 + <object type="Entity" id="1121"> 11510 11559 <field name="name">Turn negotiation</field> 11511 11560 </object> 11512 11561 11513 - <object type="Entity" id="1114"> 11562 + <object type="Entity" id="1122"> 11514 11563 <field name="name">protocolMessagePair-287</field> 11515 11564 </object> 11516 11565 11517 - <object type="Entity" id="1115"> 11566 + <object type="Entity" id="1123"> 11518 11567 <field name="name">&lt;Prometheus unique entity name au.edu.rmit.cs.prometheus.datamodel.jacob.ProtocolDistributionPair ID=284&gt;</field> 11519 11568 </object> 11520 11569 11521 - <object type="Entity" id="1116"> 11570 + <object type="Entity" id="1124"> 11522 11571 <field name="name">agentMessagePair-288</field> 11523 11572 </object> 11524 11573 11525 - <object type="Entity" id="1117"> 11574 + <object type="Entity" id="1125"> 11526 11575 <field name="name">Dearler</field> 11527 11576 </object> 11528 11577 </list>