Examples of kodkod.ast.Formula.forAll()

kodkod.ast.Formula.forAll()
Returns a formula that represents a universal quantification of this formula over the given declarations. The effect of this method is the same as calling this.quantify(ALL, decls). @return this.quantify(ALL, decls)

      if (op==ExprQt.Op.SOME) {
         if (guards.size()==0) return ans.forSome(dd);
         guards.add(ans);
         return Formula.and(guards).forSome(dd);
      } else {
         if (guards.size()==0) return ans.forAll(dd);
         return Formula.and(guards).implies(ans).forAll(dd);
      }
   }


    /** {@inheritDoc} */

View Full Code Here

TOP

All source code are property of their respective owners. Java is a trademark of Sun Microsystems, Inc and owned by ORACLE Inc. Contact coftware#gmail.com.