1 package org.simantics.scl.compiler.internal.elaboration.subsumption;
3 import java.util.ArrayList;
11 public VUnion(int con, ArrayList<Var> vars) {
16 public void removeVar(Var var) {
17 if(vars.remove(var)) {
18 var.complexLowerBounds.remove(this);
23 public void addVar(Var var) {
24 if(!vars.contains(var)) {
26 var.complexLowerBounds.add(this);
31 public void makeLowerBound(int low) {
34 vars.get(0).addLowerBound(~con);
37 v.complexLowerBounds.add(this);
40 public int getUpperApprox() {
48 public String toString() {
49 StringBuilder b = new StringBuilder();