de.uka.ilkd.key.logic.op

Class SortDependingFunction.SortDependingFunctionTemplate

java.lang.Object

de.uka.ilkd.key.logic.op.SortDependingFunction.SortDependingFunctionTemplate

Enclosing class:

SortDependingFunction

private static final class SortDependingFunction.SortDependingFunctionTemplate
extends java.lang.Object

Field Summary

Fields

Modifier and Type	Field and Description
ImmutableArray<Sort>	argSorts
Name	kind
Sort	sort
GenericSort	sortDependingOn
boolean	unique

Constructor Summary

Constructors

Constructor and Description
SortDependingFunctionTemplate(GenericSort sortDependingOn, Name kind, Sort sort, ImmutableArray<Sort> argSorts, boolean unique)

Method Summary

Methods inherited from class java.lang.Object

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

Field Detail

sortDependingOn

public final GenericSort sortDependingOn

kind

public final Name kind

sort

public final Sort sort

argSorts

public final ImmutableArray<Sort> argSorts

unique

public final boolean unique

Constructor Detail

SortDependingFunctionTemplate

public SortDependingFunctionTemplate(GenericSort sortDependingOn,
                                     Name kind,
                                     Sort sort,
                                     ImmutableArray<Sort> argSorts,
                                     boolean unique)