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.