
public final class KBvSubNoOverflowExpr<S extends KBvSort>
extends KApp<KBoolSort, S>

Nested Classes
Modifier and Type	Class	Description

Fields
Modifier and Type	Field	Description
`private final List<KExpr<S>>`	`args`
`private final KDecl<KBoolSort>`	`decl`
`private final KBoolSort`	`sort`
`private final KExpr<S>`	`arg0`
`private final KExpr<S>`	`arg1`
`private final KContext`	`ctx`

Constructors
Constructor	Description

Enum Constants
Enum Constant	Description

Modifier and Type	Method	Description
`List<KExpr<S>>`	`getArgs()`
`KDecl<KBoolSort>`	`getDecl()`
`KBoolSort`	`getSort()`
`final KExpr<S>`	`getArg0()`
`final KExpr<S>`	`getArg1()`
`KExpr<KBoolSort>`	`accept(KTransformerBase transformer)`
`Integer`	`internHashCode()`	Any.hashCode analogue for interning purposes.
`Boolean`	`internEquals(Object other)`	Any.equals analogue for interning purposes.

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

 KExpr<KBoolSort> accept(KTransformerBase transformer)

internHashCode
```
 Integer internHashCode()
```
Any.hashCode analogue for interning purposes.

internEquals
```
 Boolean internEquals(Object other)
```
Any.equals analogue for interning purposes.

Class KBvSubNoOverflowExpr