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));
 }