-
- All Implemented Interfaces:
public final class KDistinctDecl<T extends KSort> extends KFuncDeclChain<KBoolSort, T>
-
-
Method Summary
Modifier and Type Method Description KApp<KBoolSort, T>
applyChain(KContext $self, List<KExpr<T>> args)
<R extends Any> R
accept(KDeclVisitor<R> visitor)
-
Methods inherited from class io.ksmt.decl.KFuncDeclChain
apply, getArgSort, print
-
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 java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
-
-