Package kodkod.ast.RelationPredicate

Examples of kodkod.ast.RelationPredicate.Function.domain()

109
110
111
112
113
114
115
116
117
118
119
                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
Copyright © 2018 www.massapi.com. 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.