public SimpleRegionEquation(Region t, Region big, OperationT opType, Region small) : base() { target = t; bigger = big; op = opType; smaller = small; }
public Binary(Region ell, OperationT op, Region r) : this(new Unary(ell), op, new Unary(r)) { }
public Binary(Expr ell, OperationT op, Expr right) : base() { leftExp = ell; this.op = op; rightExp = right; }