
public abstract class KFuncDeclChain<T extends KSort, A extends KSort>
extends KFuncDecl<T>

Nested Classes
Modifier and Type	Class	Description

Constructors
Constructor	Description
`KFuncDeclChain(KContext ctx, String name, T resultSort, A argSort)`

Enum Constants
Enum Constant	Description

Modifier and Type	Method	Description
`final A`	`getArgSort()`
`abstract KApp<T, A>`	`applyChain(KContext $self, List<KExpr<A>> args)`
`Unit`	`print(StringBuilder builder)`
`KApp<T, ?>`	`apply(List<KExpr<?>> args)`

Methods inherited from class io.ksmt.decl.KDecl
checkArgSorts, equals, getArgSorts, getName, getSort, hashCode
Methods inherited from class io.ksmt.KAst
getCtx, toString
Methods inherited from class io.ksmt.decl.KFuncDecl
accept
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

KFuncDeclChain(KContext ctx, String name, T resultSort, A argSort)

 abstract KApp<T, A> applyChain(KContext $self, List<KExpr<A>> args)

Class KFuncDeclChain