- a -

• ADD : ilasynth::BitvectorOp
• AND : ilasynth::BitvectorOp , ilasynth::BoolOp
• APPLY_FUNC : ilasynth::BitvectorOp
• ASHR : ilasynth::BitvectorOp

- b -

• BINARY : ilasynth::BitvectorOp , ilasynth::BoolOp
• BIT : ilasynth::Abstraction
• BITVECTOR : ilasynth::NodeType
• BOOL : ilasynth::NodeType

- c -

• COMPLEMENT : ilasynth::BitvectorOp
• CONCAT : ilasynth::BitvectorOp

- d -

• DISTINCT : ilasynth::BoolOp

- e -

• EQUAL : ilasynth::BoolOp
• EXTRACT : ilasynth::BitvectorOp

- f -

• FUN : ilasynth::Abstraction
• FUNC : ilasynth::NodeType

- g -

• GET_BIT : ilasynth::BitvectorOp

- i -

• IF : ilasynth::BitvectorOp , ilasynth::BoolOp
• IMPLY : ilasynth::BoolOp
• INP : ilasynth::Abstraction
• INSERT : ilasynth::DITree
• INVALID : ilasynth::BitvectorOp , ilasynth::BoolOp , ilasynth::MemOp , ilasynth::NodeType
• ITE : ilasynth::MemOp

- l -

• LROTATE : ilasynth::BitvectorOp
• LSHR : ilasynth::BitvectorOp

- m -

• MEM : ilasynth::Abstraction , ilasynth::NodeType
• MUL : ilasynth::BitvectorOp

- n -

• NAND : ilasynth::BitvectorOp , ilasynth::BoolOp
• NARY : ilasynth::BitvectorOp
• NEGATE : ilasynth::BitvectorOp
• NOR : ilasynth::BitvectorOp , ilasynth::BoolOp
• NOT : ilasynth::BoolOp

- o -

• OR : ilasynth::BitvectorOp , ilasynth::BoolOp

- r -

• READMEM : ilasynth::BitvectorOp
• READMEMBLOCK : ilasynth::BitvectorOp
• REG : ilasynth::Abstraction
• REPLAY : ilasynth::DITree
• RROTATE : ilasynth::BitvectorOp

- s -

• S_EXT : ilasynth::BitvectorOp
• SDIV : ilasynth::BitvectorOp
• SGE : ilasynth::BoolOp
• SGT : ilasynth::BoolOp
• SHL : ilasynth::BitvectorOp
• SLE : ilasynth::BoolOp
• SLT : ilasynth::BoolOp
• SMOD : ilasynth::BitvectorOp
• SREM : ilasynth::BitvectorOp
• STORE : ilasynth::MemOp
• STOREBLOCK : ilasynth::MemOp
• SUB : ilasynth::BitvectorOp

- t -

• TERNARY : ilasynth::BitvectorOp , ilasynth::BoolOp

- u -

• UDIV : ilasynth::BitvectorOp
• UGE : ilasynth::BoolOp
• UGT : ilasynth::BoolOp
• ULE : ilasynth::BoolOp
• ULT : ilasynth::BoolOp
• UNARY : ilasynth::BitvectorOp , ilasynth::BoolOp
• UREM : ilasynth::BitvectorOp

- x -

• XNOR : ilasynth::BitvectorOp , ilasynth::BoolOp
• XOR : ilasynth::BitvectorOp , ilasynth::BoolOp

- z -

• Z_EXT : ilasynth::BitvectorOp