What is the extent of the performance impact caused by using predicate
expressions?
Check( amount == $amount )
or
Check( $amt : amount -> (isSameAmount($amt, $amount) )
My understanding is that once asserted the amount property will be
"cached" in the shadow fact, is the result of isSameAmount(...) also
cached?
thanks,
-- yuri
Show replies by date