diff options
Diffstat (limited to 'src/api/java/cvc5/Utils.java')
-rw-r--r-- | src/api/java/cvc5/Utils.java | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/src/api/java/cvc5/Utils.java b/src/api/java/cvc5/Utils.java index 077b77168..ce8632c88 100644 --- a/src/api/java/cvc5/Utils.java +++ b/src/api/java/cvc5/Utils.java @@ -155,6 +155,14 @@ public class Utils } /** + Convert a pair of BigIntegers to a rational string a/b + */ + public static String getRational(Pair<BigInteger, BigInteger> pair) + { + return pair.first.toString() + "/" + pair.second.toString(); + } + + /** * Get the string version of define-fun command. * @param f the function to print * @param params the function parameters |