-
- All Implemented Interfaces:
public abstract class KConstDecl<T extends KSort> extends KFuncDecl<T>
-
-
Constructor Summary
Constructors Constructor Description KConstDecl(KContext ctx, String name, T sort)
-
Method Summary
Modifier and Type Method Description final KApp<T, ?>
apply()
<R extends Any> R
accept(KDeclVisitor<R> visitor)
-
Methods inherited from class io.ksmt.decl.KDecl
apply, checkArgSorts, equals, getArgSorts, getName, getSort, hashCode, print
-
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
-
-