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:

• /home/runner/work/cbmc/cbmc/src/util/simplify_utils.cpp