Difference Between Function and Predicate In Alloy 4? -


i'm having hard time understanding difference between predicates , functions in alloy 4. i've read section 4.5.2 in software abstractions it's still not clear me. can me understand?

a function represents parameterized expression gets inlined @ every invocation site.

a predicate represents formula, i.e., boolean expression, in sense kind of function returns boolean expression. difference in alloy can "run" , "check" predicates, using alloy "run" , "check" commands. running predicate instructs alloy find model predicate holds, whereas checking predicate instructs alloy check if there exists model predicate not hold.


Comments

Post a Comment

Popular posts from this blog

Java sticky instances of class com.mysql.jdbc.Field aggregating -

i noticed (via jmap+jhat) app leaking storing many instances com.mysql.jdbc.field  class - double checked code make sure closing preparedstatements, find few missing didn't change outcome. - preparedstatement created , closed right away - several others created @ start , reused many times - using org.apache.tomcat.jdbc.pool.datasource connection pool what can cause type of behavior? are closing of preparedstatements / result sets using: preparedstatement stmt (possible assignment here); try { // work prepared statement resultset rs; try { while (rs.next()) ... // process results } { rs.close(); } } { stmt.close(); } so guarantee result sets closed when finished (regardless of exceptions) , statements closed (regardless of exceptions)? there other ways write that, idea same. if you're doing of properly, unless have many references it's taking inordinate amount of memory, it's ok , nothing needs done it.
Read more