update loanIfNotEnough in MAS-C example

lps-js · Aug 27, 2018 · 930b7cf · 930b7cf
1 parent 9625ee2
commit 930b7cf
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 3 deletions.
diff --git a/examples/mas/c/agent.lps b/examples/mas/c/agent.lps
@@ -1,7 +1,7 @@
 processId(Agent), wantToBuy(Agent, Item, T1, T2) ->
   itemPrice(Item, Price),
   money(Agent, Amount, T3),
-  loanIfNotEnough(Agent, Price, Amount, T3, T4),
+  loanIfNotEnough(Agent, Price, Amount) from T3 to T4,
   buy(Agent, Item, T4, T5).
 
 processId(Self), borrow(Borrower, Self, Amount, T1, T2) ->

diff --git a/examples/mas/c/main.lps b/examples/mas/c/main.lps
@@ -21,10 +21,10 @@ observe(wantToBuy(alice, cereal), 3, 4).
 %% ---------------------
 % This section would be better modelled in the agent file
 % but because of the duplication issues, i'm leaving it here for now.
-loanIfNotEnough(Agent, Price, Amount, T, T) <-
+loanIfNotEnough(Agent, Price, Amount) from T1 to T2 <-
   Price <= Amount.
 
-loanIfNotEnough(Agent, Price, Amount, T1, T2) <-
+loanIfNotEnough(Agent, Price, Amount) from T1 to T2 <-
   Price > Amount,
   consult(_, Peer),
   % Peer != Agent,