Sets_Compile

Class __default

java.lang.Object

Sets_Compile.__default

public class __default
extends java.lang.Object

Constructor Summary

Constructors

Constructor and Description
__default()

Method Summary

Modifier and Type	Method and Description
static dafny.TypeDescriptor<__default>	_typeDescriptor()
static <__T> __T	ExtractFromSingleton(dafny.TypeDescriptor<__T> _td___T, dafny.DafnySet<? extends __T> s)
static <__X> dafny.DafnySet<? extends __X>	Filter(dafny.TypeDescriptor<__X> _td___X, dafny.DafnySet<? extends __X> xs, java.util.function.Function<__X,java.lang.Boolean> f)
static <__X,__Y> dafny.DafnySet<? extends __Y>	Map(dafny.TypeDescriptor<__X> _td___X, dafny.TypeDescriptor<__Y> _td___Y, dafny.DafnySet<? extends __X> xs, java.util.function.Function<__X,__Y> f)
static dafny.DafnySet<? extends java.math.BigInteger>	SetRange(java.math.BigInteger a, java.math.BigInteger b)
static dafny.DafnySet<? extends java.math.BigInteger>	SetRangeZeroBound(java.math.BigInteger n)
java.lang.String	toString()

Methods inherited from class java.lang.Object

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

Constructor Detail

__default

public __default()

Method Detail

ExtractFromSingleton

public static <__T> __T ExtractFromSingleton(dafny.TypeDescriptor<__T> _td___T,
                                             dafny.DafnySet<? extends __T> s)

Map

public static <__X,__Y> dafny.DafnySet<? extends __Y> Map(dafny.TypeDescriptor<__X> _td___X,
                                                          dafny.TypeDescriptor<__Y> _td___Y,
                                                          dafny.DafnySet<? extends __X> xs,
                                                          java.util.function.Function<__X,__Y> f)

Filter

public static <__X> dafny.DafnySet<? extends __X> Filter(dafny.TypeDescriptor<__X> _td___X,
                                                         dafny.DafnySet<? extends __X> xs,
                                                         java.util.function.Function<__X,java.lang.Boolean> f)

SetRange

public static dafny.DafnySet<? extends java.math.BigInteger> SetRange(java.math.BigInteger a,
                                                                      java.math.BigInteger b)

SetRangeZeroBound

public static dafny.DafnySet<? extends java.math.BigInteger> SetRangeZeroBound(java.math.BigInteger n)

_typeDescriptor

public static dafny.TypeDescriptor<__default> _typeDescriptor()

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object