}
public void solve() {
+ //System.out.println("--------------------------------------------------");
//printSubsumptions();
createVar();
//print();
propagateUpperBounds();
checkLowerBounds();
//errorFromUnsolvedEquations();
- //System.out.println("--");
//print();
}
private void createVar() {
for(Subsumption sub : subsumptions)
addSubsumption(sub.loc, sub.a, sub.b);
+ // In some cases there might be types that are not part of any subsumption, for example related to typeOf
for(Type t : potentialSingletonEffects)
addVar(t);
}