Package kodkod.ast.RelationPredicate

Examples of kodkod.ast.RelationPredicate.Function


                for(Iterator<IntExpression> t = x.columns(); t.hasNext();) { max = max(max, t.next().accept(this)); }
                return max;
            }
            public Integer visit(RelationPredicate x) {
                if (x instanceof Function) {
                    Function f = ((Function)x);
                    return max(f.domain().accept(this), f.range().accept(this));
                }
                return 1;
            }
            public Integer visit(NaryExpression x) {
                int max = 0;
View Full Code Here

TOP

Related Classes of kodkod.ast.RelationPredicate.Function

Copyright © 2018 www.massapicom. All rights reserved.
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.