Package io.ksmt.solver.model
See: Description
-
Interface Summary Interface Description KFuncInterp KFuncInterpEntry KFuncInterpEntryWithVars Function interpretation entry, that may contain variables in arguments or in a value. KFuncInterpEntryVarsFree Function interpretation entry, that does NOT contain variables in arguments and in a value. KFuncInterpEntryOneAry KFuncInterpEntryTwoAry KFuncInterpEntryThreeAry KFuncInterpEntryNAry -
Class Summary Class Description KFuncInterpWithVars Function interpretation, that contains variables in the body. KFuncInterpVarsFree Function interpretation, that does NOT contain variables in the body. KFuncInterpEntryVarsFreeOneAry KFuncInterpEntryVarsFreeTwoAry KFuncInterpEntryVarsFreeThreeAry KFuncInterpEntryVarsFreeNAry KFuncInterpEntryWithVarsOneAry KFuncInterpEntryWithVarsTwoAry KFuncInterpEntryWithVarsThreeAry KFuncInterpEntryWithVarsNAry KModelEvaluator KModelImpl