This commit is contained in:
Nicolas Héron 2016-05-23 15:52:56 +02:00
commit 543772616c
7 changed files with 80 additions and 11 deletions

View file

@ -51,3 +51,11 @@ rule "Exists"
then
showResult.showText("Account exists");
end
rule "ForAll"
when
forall ( Account( $no : accountno )
CashFlow( accountNo == $no)
)
then
showResult.showText("All cashflows are related to an Account ");
end