cprover
statement_list_typecheckt::nesting_stack_entryt Member List

This is the complete list of members for statement_list_typecheckt::nesting_stack_entryt, including all inherited members.

function_codestatement_list_typecheckt::nesting_stack_entryt
nesting_stack_entryt(exprt rlo_bit, bool or_bit, codet function_code)statement_list_typecheckt::nesting_stack_entryt
or_bitstatement_list_typecheckt::nesting_stack_entryt
rlo_bitstatement_list_typecheckt::nesting_stack_entryt