dafny

Class BigOrdinal

java.lang.Object

dafny.BigOrdinal

public class BigOrdinal
extends java.lang.Object

Constructor Summary

Constructors

Constructor and Description
BigOrdinal()

Method Summary

Modifier and Type	Method and Description
static boolean	IsLimit(java.math.BigInteger b)
static boolean	IsNat(java.math.BigInteger b)
static boolean	IsSucc(java.math.BigInteger b)
static java.math.BigInteger	Offset(java.math.BigInteger b)

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

BigOrdinal

public BigOrdinal()

Method Detail

IsLimit

public static boolean IsLimit(java.math.BigInteger b)

IsSucc

public static boolean IsSucc(java.math.BigInteger b)

Offset

public static java.math.BigInteger Offset(java.math.BigInteger b)

IsNat

public static boolean IsNat(java.math.BigInteger b)