C# (CSharp) AskTheCode.SmtLibStandard.Handles IntHandle示例

示例#1

 public IntHandle Remainder(IntHandle right)
 {
     return(Remainder(this, right));
 }

示例#2

 public static IntHandle Remainder(IntHandle left, IntHandle right)
 {
     return((IntHandle)ExpressionFactory.Remainder(left.Expression, right.Expression));
 }

示例#3

 public RealHandle DivideReal(IntHandle right)
 {
     return(DivideReal(this, right));
 }

示例#4

 public static RealHandle DivideReal(IntHandle left, IntHandle right)
 {
     return((RealHandle)ExpressionFactory.DivideReal(left.Expression, right.Expression));
 }