ROSE 0.11.145.147
Public Member Functions | List of all members
Rose::BinaryAnalysis::InstructionSemantics::TestSemantics< SValuePtr, RegisterStatePtr, MemoryStatePtr, StatePtr, RiscOperatorsPtr >::StateSubclass Class Reference

Description

template<class SValuePtr, class RegisterStatePtr, class MemoryStatePtr, class StatePtr, class RiscOperatorsPtr>
class Rose::BinaryAnalysis::InstructionSemantics::TestSemantics< SValuePtr, RegisterStatePtr, MemoryStatePtr, StatePtr, RiscOperatorsPtr >::StateSubclass

Definition at line 93 of file TestSemantics.h.

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

Public Member Functions

 StateSubclass (const RegisterStatePtr &registers, const MemoryStatePtr &memory)
 
 StateSubclass (const StateSubclass &other)
 

Constructor & Destructor Documentation

◆ StateSubclass() [1/2]

template<class SValuePtr , class RegisterStatePtr , class MemoryStatePtr , class StatePtr , class RiscOperatorsPtr >
Rose::BinaryAnalysis::InstructionSemantics::TestSemantics< SValuePtr, RegisterStatePtr, MemoryStatePtr, StatePtr, RiscOperatorsPtr >::StateSubclass::StateSubclass ( const RegisterStatePtr &  registers,
const MemoryStatePtr &  memory 
)
inline

Definition at line 95 of file TestSemantics.h.

◆ StateSubclass() [2/2]

template<class SValuePtr , class RegisterStatePtr , class MemoryStatePtr , class StatePtr , class RiscOperatorsPtr >
Rose::BinaryAnalysis::InstructionSemantics::TestSemantics< SValuePtr, RegisterStatePtr, MemoryStatePtr, StatePtr, RiscOperatorsPtr >::StateSubclass::StateSubclass ( const StateSubclass other)
inline

Definition at line 97 of file TestSemantics.h.


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