ROSE
0.11.137.0
|
Definition at line 101 of file TestSemantics.h.
Public Member Functions | |
RiscOperatorsSubclass (const SValuePtr &protoval, const SmtSolverPtr &solver=SmtSolverPtr()) | |
RiscOperatorsSubclass (const StatePtr &state, const SmtSolverPtr &solver=SmtSolverPtr()) | |