
public final class Z3NativeFuncInterp

Nested Classes
Modifier and Type	Class	Description

Fields
Modifier and Type	Field	Description
`private final Array<Z3NativeFuncInterpEntry>`	`entries`
`private final Long`	`elseExpr`

Constructors
Constructor	Description
`Z3NativeFuncInterp(Array<Z3NativeFuncInterpEntry> entries, Long elseExpr)`

Enum Constants
Enum Constant	Description

Modifier and Type	Method	Description
`final Array<Z3NativeFuncInterpEntry>`	`getEntries()`
`final Long`	`getElseExpr()`

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

Z3NativeFuncInterp(Array<Z3NativeFuncInterpEntry> entries, Long elseExpr)

 final Array<Z3NativeFuncInterpEntry> getEntries()

Class Z3NativeFuncInterp