All Implemented Interfaces:: io.ksmt.solver.model.KFuncInterpEntry , io.ksmt.solver.model.KFuncInterpEntryTwoAry , io.ksmt.solver.model.KFuncInterpEntryWithVars


public final class KFuncInterpEntryWithVarsTwoAry<T extends KSort>
 implements KFuncInterpEntryWithVars<T>, KFuncInterpEntryTwoAry<T>

Nested Classes
Modifier and Type	Class	Description

Constructors
Constructor	Description
`KFuncInterpEntryWithVarsTwoAry(KExpr<?> arg0, KExpr<?> arg1, KExpr<T> value)`

Enum Constants
Enum Constant	Description

Modifier and Type	Method	Description
`KExpr<?>`	`getArg0()`
`KExpr<?>`	`getArg1()`
`KExpr<T>`	`getValue()`
`String`	`toString()`
`KFuncInterpEntryTwoAry<T>`	`modify(KExpr<?> arg0, KExpr<?> arg1, KExpr<T> value)`

Methods inherited from class io.ksmt.solver.model.KFuncInterpEntry
getArgs, getArity
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

KFuncInterpEntryWithVarsTwoAry(KExpr<?> arg0, KExpr<?> arg1, KExpr<T> value)

 KFuncInterpEntryTwoAry<T> modify(KExpr<?> arg0, KExpr<?> arg1, KExpr<T> value)

Class KFuncInterpEntryWithVarsTwoAry