Struct FuncEntry 

pub struct FuncEntry { /* private fields */ }

Store the value of the interpretation of a function in a particular point. https://z3prover.github.io/api/html/classz3py_1_1_func_entry.html

Implementations

impl FuncEntry

pub fn get_value(&self) -> Dynamic

Returns the value of the function.

pub fn get_num_args(&self) -> u32

Returns the number of arguments in the function entry.

pub fn get_args(&self) -> Vec<Dynamic>

Returns the arguments of the function entry.

Trait Implementations

impl Debug for FuncEntry

fn fmt(&self, f: &mut Formatter<'_>) -> Result<(), Error>

Formats the value using the given formatter.

impl Display for FuncEntry

fn fmt(&self, f: &mut Formatter<'_>) -> Result<(), Error>

Formats the value using the given formatter.

impl Drop for FuncEntry

fn drop(&mut self)

Executes the destructor for this type.