SearchConfigToInfo_Compile

Class DefaultPartitionSelector

java.lang.Object

SearchConfigToInfo_Compile.DefaultPartitionSelector

All Implemented Interfaces:

IPartitionSelector

public class DefaultPartitionSelector
extends java.lang.Object
implements IPartitionSelector

Constructor Summary

Constructors

Constructor and Description
DefaultPartitionSelector()

Method Summary

Modifier and Type	Method and Description
void	__ctor()
static dafny.TypeDescriptor<DefaultPartitionSelector>	_typeDescriptor()
Wrappers_Compile.Result<GetPartitionNumberOutput,Error>	GetPartitionNumber_k(GetPartitionNumberInput input)
Wrappers_Compile.Result<GetPartitionNumberOutput,Error>	GetPartitionNumber(GetPartitionNumberInput input)
java.lang.String	toString()

Methods inherited from class java.lang.Object

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

Constructor Detail

DefaultPartitionSelector

public DefaultPartitionSelector()

Method Detail

GetPartitionNumber

public Wrappers_Compile.Result<GetPartitionNumberOutput,Error> GetPartitionNumber(GetPartitionNumberInput input)

Specified by:

GetPartitionNumber in interface IPartitionSelector

__ctor

public void __ctor()

GetPartitionNumber_k

public Wrappers_Compile.Result<GetPartitionNumberOutput,Error> GetPartitionNumber_k(GetPartitionNumberInput input)

Specified by:

GetPartitionNumber_k in interface IPartitionSelector

_typeDescriptor

public static dafny.TypeDescriptor<DefaultPartitionSelector> _typeDescriptor()

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object