Examples of edu.mit.csail.sdg.alloy4compiler.ast.Type.product()

Package edu.mit.csail.sdg.alloy4compiler.ast

Class edu.mit.csail.sdg.alloy4compiler.ast.Type

Examples of edu.mit.csail.sdg.alloy4compiler.ast.Type.product()

edu.mit.csail.sdg.alloy4compiler.ast.Type.product()
Returns a new type { A->B | A is in this, and B is in that }
ReturnValue.is_int == false
ReturnValue.is_bool == false
If this.size()==0, or that.size()==0, then result.size()==0

                    Type t=kv2typepos(decl.variable()).a;
                    if (t==Type.EMPTY) return;
                    for(int i=(predecl==null ? -1 : predecl.size()-1); i>=0; i--) {
                        Type pp=kv2typepos(predecl.get(i).variable()).a;
                        if (pp==Type.EMPTY) return;
                        t=pp.product(t);
                    }
                    kr2type(skolem, t);
                } catch(Throwable ex) { } // Exception here is not fatal
            }
            @Override public void solvingCNF(int primaryVars, int vars, int clauses) {

View Full Code Here

    public int arity() { return tuple.arity(); }


    /** Returns the type constructed by taking the product for each sig in this tuple. */
    public Type type() {
        Type ans = null;
        for(int i=0; i<tuple.arity(); i++) if (ans==null) ans=sig(0).type(); else ans=ans.product(sig(i).type());
        return ans;
    }


    /** Returns the i-th atom in this Tuple. */
    public String atom(int i) { return sol.atom2name(tuple.atom(i)); }

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.