-
- All Implemented Interfaces:
-
io.ksmt.decl.KParameterizedFuncDecl
public final class KBvAddNoOverflowDecl<T extends KBvSort> extends KFuncDecl2<KBoolSort, T, T> implements KParameterizedFuncDecl
-
-
Method Summary
Modifier and Type Method Description List<Object>
getParameters()
final Boolean
isSigned()
<R extends Any> R
accept(KDeclVisitor<R> visitor)
KApp<KBoolSort, ?>
apply(KContext $self, KExpr<T> arg0, KExpr<T> arg1)
-
Methods inherited from class io.ksmt.decl.KFuncDecl2
apply, getArg0Sort, getArg1Sort
-
Methods inherited from class io.ksmt.decl.KDecl
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
-
-