solver::Instruction Class Reference

#include <action_constraint_solver.h>

Inheritance diagram for solver::Instruction:

Public Member Functions
virtual cstring	name () const =0
virtual cstring	to_cstring () const =0

Detailed Description

base class for all instructions. TODO: currenly instruction classes only print a readable string representation. To print asm-compatible string, we need (1) distinguish inline const v.s. action data. (2) allow replacing action data with actual address.