SearchableEncryptionInfo_Compile

Class VersionNumber

java.lang.Object

SearchableEncryptionInfo_Compile.VersionNumber

public class VersionNumber
extends java.lang.Object

Field Summary

Fields

Modifier and Type	Field and Description
static long	Witness

Constructor Summary

Constructors

Constructor and Description
VersionNumber()

Method Summary

Modifier and Type	Method and Description
static dafny.TypeDescriptor<java.lang.Long>	_typeDescriptor()
static java.util.ArrayList<java.lang.Long>	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 long Witness

Constructor Detail

VersionNumber

public VersionNumber()

Method Detail

IntegerRange

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

_typeDescriptor

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