ROSE  0.9.9.109
Public Member Functions | List of all members
Rose::BinaryAnalysis::InstructionSemantics2::TestSemantics< SValuePtr, RegisterStatePtr, MemoryStatePtr, StatePtr, RiscOperatorsPtr >::RiscOperatorsSubclass Class Reference

Description

template<class SValuePtr, class RegisterStatePtr, class MemoryStatePtr, class StatePtr, class RiscOperatorsPtr>
class Rose::BinaryAnalysis::InstructionSemantics2::TestSemantics< SValuePtr, RegisterStatePtr, MemoryStatePtr, StatePtr, RiscOperatorsPtr >::RiscOperatorsSubclass

Definition at line 97 of file TestSemantics2.h.

Inheritance diagram for Rose::BinaryAnalysis::InstructionSemantics2::TestSemantics< SValuePtr, RegisterStatePtr, MemoryStatePtr, StatePtr, RiscOperatorsPtr >::RiscOperatorsSubclass:
Inheritance graph
[legend]
Collaboration diagram for Rose::BinaryAnalysis::InstructionSemantics2::TestSemantics< SValuePtr, RegisterStatePtr, MemoryStatePtr, StatePtr, RiscOperatorsPtr >::RiscOperatorsSubclass:
Collaboration graph
[legend]

Public Member Functions

 RiscOperatorsSubclass (const SValuePtr &protoval, SMTSolver *solver=NULL)
 
 RiscOperatorsSubclass (const StatePtr &state, SMTSolver *solver=NULL)
 

The documentation for this class was generated from the following file: