Test::SymbolicConverter Class Reference

Converts IR::Member into symbolic variables. More...

Inheritance diagram for Test::SymbolicConverter:

Public Member Functions
const IR::SymbolicVariable *	preorder (IR::Member *member) override

Detailed Description

Converts IR::Member into symbolic variables.