Module Z3.Model.FuncInterp.FuncEntry

module FuncEntry: sig .. end

Function interpretations entries

An Entry object represents an element in the finite map used to a function interpretation.

type func_entry

val get_value : func_entry -> Expr.expr

Return the (symbolic) value of this entry.

val get_num_args : func_entry -> int

The number of arguments of the entry.

val get_args : func_entry -> Expr.expr list

The arguments of the function entry.

val to_string : func_entry -> string

A string representation of the function entry.