public ArithmeticExpression(PromelaArithmeticOperator op, int lhs, int rhs) { Operator = op; IntLhs = lhs; IntRhs = rhs; }
public ArithmeticExpression(PromelaArithmeticOperator op, IValue lhs, IValue rhs) { Operator = op; Lhs = lhs; Rhs = rhs; }
public ArithmeticExpression(PromelaArithmeticOperator op, int lhs, int rhs) { Operator = op; IntLhs = lhs; IntRhs = rhs; }
public ArithmeticExpression(PromelaArithmeticOperator op, IValue lhs, IValue rhs) { Operator = op; Lhs = lhs; Rhs = rhs; }