Description
template<class SValuePtr, class RegisterStatePtr, class MemoryStatePtr, class StatePtr, class RiscOperatorsPtr>
class Rose::BinaryAnalysis::InstructionSemantics::TestSemantics< SValuePtr, RegisterStatePtr, MemoryStatePtr, StatePtr, RiscOperatorsPtr >::RiscOperatorsSubclass
class Rose::BinaryAnalysis::InstructionSemantics::TestSemantics< SValuePtr, RegisterStatePtr, MemoryStatePtr, StatePtr, RiscOperatorsPtr >::RiscOperatorsSubclass
Definition at line 103 of file TestSemantics.h.
Inheritance diagram for Rose::BinaryAnalysis::InstructionSemantics::TestSemantics< SValuePtr, RegisterStatePtr, MemoryStatePtr, StatePtr, RiscOperatorsPtr >::RiscOperatorsSubclass:
Collaboration diagram for Rose::BinaryAnalysis::InstructionSemantics::TestSemantics< SValuePtr, RegisterStatePtr, MemoryStatePtr, StatePtr, RiscOperatorsPtr >::RiscOperatorsSubclass:
Public Member Functions | |
| RiscOperatorsSubclass (const SValuePtr &protoval, const SmtSolverPtr &solver=SmtSolverPtr()) | |
| RiscOperatorsSubclass (const StatePtr &state, const SmtSolverPtr &solver=SmtSolverPtr()) | |
Constructor & Destructor Documentation
◆ RiscOperatorsSubclass() [1/2]
template<class SValuePtr , class RegisterStatePtr , class MemoryStatePtr , class StatePtr , class RiscOperatorsPtr >
|
inlineexplicit |
Definition at line 105 of file TestSemantics.h.
◆ RiscOperatorsSubclass() [2/2]
template<class SValuePtr , class RegisterStatePtr , class MemoryStatePtr , class StatePtr , class RiscOperatorsPtr >
|
inlineexplicit |
Definition at line 107 of file TestSemantics.h.
The documentation for this class was generated from the following file:
