Package dafny

Class BigOrdinal

java.lang.Object

dafny.BigOrdinal

public class BigOrdinal
extends Object

Constructor Summary

Constructors

Constructor	Description
BigOrdinal()

Method Summary

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

Methods inherited from class java.lang.Object

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

Constructor Details

BigOrdinal

public BigOrdinal()

Method Details

IsLimit

public static boolean IsLimit(BigInteger b)

IsSucc

public static boolean IsSucc(BigInteger b)

Offset

public static BigInteger Offset(BigInteger b)

IsNat

public static boolean IsNat(BigInteger b)