Esempi in C# (CSharp) per AskTheCode.SmtLibStandard.Handles IntHandle

Esempio n. 1

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

Esempio n. 2

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

Esempio n. 3

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

Esempio n. 4

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