/* LPS test results file generated on 2019-3-23 at 18:36:49 on Prolog swi(8,1,1,[]) for program file: /Users/mc/git/lps_corner/examples/forTesting/bank_transferWithhappened.pl_.P */ :-dynamic lps_test_result/3,lps_test_result_item/3,lps_test_action_ancestor/3,lps_test_options/1. % LPS options prior to the test: lps_test_options([dc]). % lps_test_result(Stage,Cycle,TestTerm) lps_test_result(fluents,0,2). lps_test_result(events,1,0). lps_test_result(fluents,1,2). lps_test_result(events,2,1). lps_test_result(fluents,2,3). lps_test_result(events,3,1). lps_test_result(fluents,3,4). lps_test_result(events,4,1). lps_test_result(fluents,4,5). lps_test_result(events,5,1). lps_test_result(fluents,5,5). lps_test_result(events,6,1). lps_test_result(fluents,6,5). lps_test_result(events,7,1). lps_test_result(fluents,7,5). lps_test_result(events,8,1). lps_test_result(fluents,8,5). lps_test_result(events,9,1). lps_test_result(fluents,9,5). lps_test_result(events,10,1). lps_test_result(fluents,10,5). % lps_test_result_item(Stage,Cycle,TestTerm) lps_test_result_item(fluents,0,balance(bob,0)). lps_test_result_item(fluents,0,balance(fariba,100)). lps_test_result_item(fluents,1,balance(bob,0)). lps_test_result_item(fluents,1,balance(fariba,100)). lps_test_result_item(events,2,transfer(fariba,bob,10)). lps_test_result_item(fluents,2,happened(transfer(fariba,bob,10),2)). lps_test_result_item(fluents,2,balance(bob,10)). lps_test_result_item(fluents,2,balance(fariba,90)). lps_test_result_item(events,3,transfer(bob,fariba,10)). lps_test_result_item(fluents,3,happened(transfer(fariba,bob,10),2)). lps_test_result_item(fluents,3,happened(transfer(bob,fariba,10),3)). lps_test_result_item(fluents,3,balance(fariba,100)). lps_test_result_item(fluents,3,balance(bob,0)). lps_test_result_item(events,4,transfer(fariba,bob,20)). lps_test_result_item(fluents,4,happened(transfer(fariba,bob,10),2)). lps_test_result_item(fluents,4,happened(transfer(bob,fariba,10),3)). lps_test_result_item(fluents,4,happened(transfer(fariba,bob,20),4)). lps_test_result_item(fluents,4,balance(bob,20)). lps_test_result_item(fluents,4,balance(fariba,80)). lps_test_result_item(events,5,transfer(bob,fariba,10)). lps_test_result_item(fluents,5,happened(transfer(fariba,bob,10),2)). lps_test_result_item(fluents,5,happened(transfer(bob,fariba,10),3)). lps_test_result_item(fluents,5,happened(transfer(fariba,bob,20),4)). lps_test_result_item(fluents,5,balance(fariba,90)). lps_test_result_item(fluents,5,balance(bob,10)). lps_test_result_item(events,6,transfer(fariba,bob,20)). lps_test_result_item(fluents,6,happened(transfer(fariba,bob,10),2)). lps_test_result_item(fluents,6,happened(transfer(bob,fariba,10),3)). lps_test_result_item(fluents,6,happened(transfer(fariba,bob,20),4)). lps_test_result_item(fluents,6,balance(bob,30)). lps_test_result_item(fluents,6,balance(fariba,70)). lps_test_result_item(events,7,transfer(bob,fariba,10)). lps_test_result_item(fluents,7,happened(transfer(fariba,bob,10),2)). lps_test_result_item(fluents,7,happened(transfer(bob,fariba,10),3)). lps_test_result_item(fluents,7,happened(transfer(fariba,bob,20),4)). lps_test_result_item(fluents,7,balance(fariba,80)). lps_test_result_item(fluents,7,balance(bob,20)). lps_test_result_item(events,8,transfer(fariba,bob,20)). lps_test_result_item(fluents,8,happened(transfer(fariba,bob,10),2)). lps_test_result_item(fluents,8,happened(transfer(bob,fariba,10),3)). lps_test_result_item(fluents,8,happened(transfer(fariba,bob,20),4)). lps_test_result_item(fluents,8,balance(bob,40)). lps_test_result_item(fluents,8,balance(fariba,60)). lps_test_result_item(events,9,transfer(bob,fariba,10)). lps_test_result_item(fluents,9,happened(transfer(fariba,bob,10),2)). lps_test_result_item(fluents,9,happened(transfer(bob,fariba,10),3)). lps_test_result_item(fluents,9,happened(transfer(fariba,bob,20),4)). lps_test_result_item(fluents,9,balance(fariba,70)). lps_test_result_item(fluents,9,balance(bob,30)). lps_test_result_item(events,10,transfer(fariba,bob,20)). lps_test_result_item(fluents,10,happened(transfer(fariba,bob,10),2)). lps_test_result_item(fluents,10,happened(transfer(bob,fariba,10),3)). lps_test_result_item(fluents,10,happened(transfer(fariba,bob,20),4)). lps_test_result_item(fluents,10,balance(bob,50)). lps_test_result_item(fluents,10,balance(fariba,50)). % lps_test_action_ancestor(Call,T1,T2)