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