private UnaryOperation(UnaryOperator @operator, ITerm operand, Rational value)
{
Operator = @operator;
Operand = operand;
Value = value;
var hashCode = -1180296392;
hashCode = (hashCode * -1521134295) + Operator.GetHashCode();
hashCode = (hashCode * -1521134295) + Operand.GetHashCode();
HashCode = hashCode;
}
private BinaryOperation(BinaryOperator @operator, ITerm lhs, ITerm rhs, Rational value)
{
Operator = @operator;
Lhs = lhs;
Rhs = rhs;
Value = value;
var hashCode = -1180296392;
hashCode = (hashCode * -1521134295) + Operator.GetHashCode();
hashCode = (hashCode * -1521134295) + Lhs.GetHashCode();
hashCode = (hashCode * -1521134295) + Rhs.GetHashCode();
HashCode = hashCode;
}
