CBMC
Loading...
Searching...
No Matches
Functions
remove_vector.h File Reference

Remove the 'vector' data type by compilation into arrays. More...

+ This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Functions

  removes vector data type
 
  removes vector data type
 
  returns true iff any of the given goto functions has instructions that use the vector type
 
  returns true iff the given goto model has instructions that use the vector type
 

Detailed Description

Remove the 'vector' data type by compilation into arrays.

Definition in file remove_vector.h.

Function Documentation

◆  has_vector() [1/2]

bool has_vector ( const goto_functionstgoto_functions )

returns true iff any of the given goto functions has instructions that use the vector type

Definition at line 390 of file remove_vector.cpp.

◆  has_vector() [2/2]

bool has_vector ( const goto_modeltgoto_model )

returns true iff the given goto model has instructions that use the vector type

Definition at line 407 of file remove_vector.cpp.

◆  remove_vector() [1/2]

void remove_vector ( goto_modeltgoto_model )

removes vector data type

Definition at line 385 of file remove_vector.cpp.

◆  remove_vector() [2/2]

void remove_vector ( symbol_table_basetsymbol_table,
goto_functionstgoto_functions 
)

removes vector data type

Definition at line 376 of file remove_vector.cpp.

AltStyle によって変換されたページ (->オリジナル) /