CBMC
Loading...
Searching...
No Matches
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:
[フレーム]
[legend]

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:

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