CBMC
Public Attributes | List of all members
saj_tablet Struct Reference

produce canonical ordering for associative and commutative binary operators More...

+ Collaboration diagram for saj_tablet:

Public Attributes

const irep_idt id
 
const irep_idt type_ids [10]
 

Detailed Description

produce canonical ordering for associative and commutative binary operators

Definition at line 61 of file simplify_utils.cpp.

Member Data Documentation

◆ id

const irep_idt saj_tablet::id

Definition at line 63 of file simplify_utils.cpp.

◆ type_ids

const irep_idt saj_tablet::type_ids[10]

Definition at line 64 of file simplify_utils.cpp.

The documentation for this struct was generated from the following file: