
public abstract class KDecl<T extends KSort>
extends KAst

Nested Classes
Modifier and Type	Class	Description

Constructors
Constructor	Description
`KDecl(KContext ctx, String name, T sort, List<KSort> argSorts)`

Enum Constants
Enum Constant	Description

Modifier and Type	Method	Description
`final String`	`getName()`
`final T`	`getSort()`
`final List<KSort>`	`getArgSorts()`
`abstract KApp<T, ?>`	`apply(List<KExpr<?>> args)`
`abstract <R extends Any> R`	`accept(KDeclVisitor<R> visitor)`
`Unit`	`print(StringBuilder builder)`
`final Unit`	`checkArgSorts(List<KExpr<?>> args)`
`Boolean`	`equals(Object other)`
`Integer`	`hashCode()`

Methods inherited from class io.ksmt.KAst
getCtx, toString
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

KDecl(KContext ctx, String name, T sort, List<KSort> argSorts)

 abstract KApp<T, ?> apply(List<KExpr<?>> args)

 abstract <R extends Any> R accept(KDeclVisitor<R> visitor)

 final Unit checkArgSorts(List<KExpr<?>> args)

Class KDecl