Here is a list of all functions with links to the structures/unions they belong to:

A

B

C

D

E

F

G

H

I

K

L

M

N

O

P

Q

R

S

T

U

V

W

_

~

- b -

• back() : ast_vector_tpl< T >
• basis() : ReSortRef, SeqSortRef
• begin() : ast_vector_tpl< T >, expr, solver::cube_generator
• bit2bool() : expr
• body() : expr, QuantifierRef
• bool_const() : context
• bool_sort() : context
• bool_val() : context
• bool_value() : expr
• bv_const() : context
• bv_size() : sort
• bv_sort() : context
• bv_val() : context