
public final class Z3NativeFuncInterpEntry

Nested Classes
Modifier and Type	Class	Description

Fields
Modifier and Type	Field	Description
`private final LongArray`	`args`
`private final Long`	`value`

Constructors
Constructor	Description
`Z3NativeFuncInterpEntry(LongArray args, Long value)`

Enum Constants
Enum Constant	Description

Modifier and Type	Method	Description
`final LongArray`	`getArgs()`
`final Long`	`getValue()`

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

Z3NativeFuncInterpEntry(LongArray args, Long value)

Class Z3NativeFuncInterpEntry