cprover
Loading...
Searching...
No Matches
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: