-/*******************************************************************************\r
- * Copyright (c) 2007, 2010 Association for Decentralized Information Management\r
- * in Industry THTH ry.\r
- * All rights reserved. This program and the accompanying materials\r
- * are made available under the terms of the Eclipse Public License v1.0\r
- * which accompanies this distribution, and is available at\r
- * http://www.eclipse.org/legal/epl-v10.html\r
- *\r
- * Contributors:\r
- * VTT Technical Research Centre of Finland - initial API and implementation\r
- *******************************************************************************/\r
-package org.simantics.mapping.constraint;\r
-\r
-import gnu.trove.map.hash.TObjectIntHashMap;\r
-\r
-import org.simantics.db.Resource;\r
-import org.simantics.mapping.constraint.instructions.AndInstruction;\r
-import org.simantics.mapping.constraint.instructions.IInstruction;\r
-import org.simantics.utils.datastructures.persistent.ImmutableSet;\r
-\r
-public class ConstraintConjunction implements IConstraint {\r
-\r
- IConstraint[] constraints;\r
- \r
- public ConstraintConjunction(IConstraint... constraints) {\r
- this.constraints = constraints;\r
- }\r
-\r
- @Override\r
- public ImmutableSet<Resource> binds() {\r
- ImmutableSet<Resource> ret = ImmutableSet.empty();\r
- for(IConstraint c : constraints)\r
- ret = ret.addAll(c.binds());\r
- return ret;\r
- }\r
-\r
- @Override\r
- public IInstruction createInstruction(\r
- TObjectIntHashMap<Resource> variableIds,\r
- ImmutableSet<Resource> bound) throws TooManyUnboundVariablesException {\r
- IInstruction[] instructions = new IInstruction[constraints.length];\r
- for(int i=0;i<constraints.length;++i) {\r
- instructions[i] = constraints[i].createInstruction(variableIds, bound);\r
- bound = bound.addAll(constraints[i].binds());\r
- }\r
- return new AndInstruction(instructions);\r
- }\r
-\r
- @Override\r
- public int isApplicable(ImmutableSet<Resource> bound) {\r
- int ret = Integer.MAX_VALUE;\r
- for(int i=0;i<constraints.length;++i) {\r
- int temp = constraints[i].isApplicable(bound);\r
- if(temp < ret) {\r
- if(temp == 0)\r
- return 0;\r
- ret = temp; \r
- }\r
- bound = bound.addAll(constraints[i].binds());\r
- }\r
- return ret;\r
- }\r
-\r
- \r
- \r
-}\r
+/*******************************************************************************
+ * Copyright (c) 2007, 2010 Association for Decentralized Information Management
+ * in Industry THTH ry.
+ * All rights reserved. This program and the accompanying materials
+ * are made available under the terms of the Eclipse Public License v1.0
+ * which accompanies this distribution, and is available at
+ * http://www.eclipse.org/legal/epl-v10.html
+ *
+ * Contributors:
+ * VTT Technical Research Centre of Finland - initial API and implementation
+ *******************************************************************************/
+package org.simantics.mapping.constraint;
+
+import gnu.trove.map.hash.TObjectIntHashMap;
+
+import org.simantics.db.Resource;
+import org.simantics.mapping.constraint.instructions.AndInstruction;
+import org.simantics.mapping.constraint.instructions.IInstruction;
+import org.simantics.utils.datastructures.persistent.ImmutableSet;
+
+public class ConstraintConjunction implements IConstraint {
+
+ IConstraint[] constraints;
+
+ public ConstraintConjunction(IConstraint... constraints) {
+ this.constraints = constraints;
+ }
+
+ @Override
+ public ImmutableSet<Resource> binds() {
+ ImmutableSet<Resource> ret = ImmutableSet.empty();
+ for(IConstraint c : constraints)
+ ret = ret.addAll(c.binds());
+ return ret;
+ }
+
+ @Override
+ public IInstruction createInstruction(
+ TObjectIntHashMap<Resource> variableIds,
+ ImmutableSet<Resource> bound) throws TooManyUnboundVariablesException {
+ IInstruction[] instructions = new IInstruction[constraints.length];
+ for(int i=0;i<constraints.length;++i) {
+ instructions[i] = constraints[i].createInstruction(variableIds, bound);
+ bound = bound.addAll(constraints[i].binds());
+ }
+ return new AndInstruction(instructions);
+ }
+
+ @Override
+ public int isApplicable(ImmutableSet<Resource> bound) {
+ int ret = Integer.MAX_VALUE;
+ for(int i=0;i<constraints.length;++i) {
+ int temp = constraints[i].isApplicable(bound);
+ if(temp < ret) {
+ if(temp == 0)
+ return 0;
+ ret = temp;
+ }
+ bound = bound.addAll(constraints[i].binds());
+ }
+ return ret;
+ }
+
+
+
+}