C# (CSharp) Microsoft.Z3 RatNum Examples

Example #1

File: Program.cs Project: perillaseed/z3

 static void BigIntCheck(Context ctx, RatNum r)
 {
     Console.WriteLine("Num: " + r.BigIntNumerator);
     Console.WriteLine("Den: " + r.BigIntDenominator);
 }

Example #2

File: Utils.cs Project: perillaseed/z3

 public static Rational ToRational(RatNum r)
 {
     return ToRational(r.BigIntNumerator) / ToRational(r.BigIntDenominator);
 }