BaseBeacon_Compile

Class BeaconLength

java.lang.Object

BaseBeacon_Compile.BeaconLength

public class BeaconLength
extends java.lang.Object

Field Summary

Fields

Modifier and Type	Field and Description
static byte	Witness

Constructor Summary

Constructors

Constructor and Description
BeaconLength()

Method Summary

Modifier and Type	Method and Description
static dafny.TypeDescriptor<java.lang.Byte>	_typeDescriptor()
static java.util.ArrayList<java.lang.Byte>	IntegerRange(java.math.BigInteger lo, java.math.BigInteger hi)

Methods inherited from class java.lang.Object

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

Field Detail

Witness

public static byte Witness

Constructor Detail

BeaconLength

public BeaconLength()

Method Detail

IntegerRange

public static java.util.ArrayList<java.lang.Byte> IntegerRange(java.math.BigInteger lo,
                                                               java.math.BigInteger hi)

_typeDescriptor

public static dafny.TypeDescriptor<java.lang.Byte> _typeDescriptor()