cprover
base_type.h File Reference

Base Type Computation. More...

#include "deprecate.h"
+ Include dependency graph for base_type.h:
+ This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Functions

bool base_type_eq (const typet &type1, const typet &type2, const namespacet &ns)
 Check types for equality across all levels of hierarchy. More...
 
bool base_type_eq (const exprt &expr1, const exprt &expr2, const namespacet &ns)
 Check expressions for equality across all levels of hierarchy. More...
 

Detailed Description

Base Type Computation.

Definition in file base_type.h.

Function Documentation

◆ base_type_eq() [1/2]

bool base_type_eq ( const exprt expr1,
const exprt expr2,
const namespacet ns 
)

Check expressions for equality across all levels of hierarchy.

Deprecated:
"deprecated since " "2019" "-" "1" "-" "22" "; " "Use == instead"
Parameters
expr1The first expression to compare.
expr2The second expression to compare.
nsThe namespace, needed for resolution of symbols.

Definition at line 303 of file base_type.cpp.

◆ base_type_eq() [2/2]

bool base_type_eq ( const typet type1,
const typet type2,
const namespacet ns 
)

Check types for equality across all levels of hierarchy.

Deprecated:
"deprecated since " "2019" "-" "1" "-" "22" "; " "Use == instead"

Example:

  • struct_typet {union_tag_typet("a")} and struct_typet {ns.lookup("a") .type} will compare equal.
    Parameters
    type1The first type to compare.
    type2The second type to compare.
    nsThe namespace, needed for resolution of symbols.

Definition at line 290 of file base_type.cpp.