return reverse(withIntegerBoxes((IntegerBoxes)right, (NonRelationalDomain) left));
return ComparisonResult.UNCOMPARABLE;
}
public static void main(String[] args) {
Variable var = new DummyVariable("aaa", 0);
NonRelationalDomain<Bool> bools = NonRelationalDomain.getInitialValue();
bools = bools.addNewVariable(var, Bool.TRUE, false);
NonRelationalDomain<Interval> intv = NonRelationalDomain.getInitialValue();
ProductDomain<NonRelationalDomain<Bool>, NonRelationalDomain<Interval>> x = ProductDomain.create(bools, intv);
compare(x, x);