cprover
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 49 of file simplify_utils.cpp.

Member Data Documentation

◆ id

const irep_idt saj_tablet::id

Definition at line 51 of file simplify_utils.cpp.

Referenced by sort_and_join().

◆ type_ids

const irep_idt saj_tablet::type_ids[10]

Definition at line 52 of file simplify_utils.cpp.

Referenced by sort_and_join().


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