| accessCreatesLocations() const | Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::RegisterStateGeneric | inline |
| accessCreatesLocations(bool b) | Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::RegisterStateGeneric | inlinevirtual |
| accessModifiesExistingLocations() const | Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::RegisterStateGeneric | inline |
| accessModifiesExistingLocations(bool b) | Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::RegisterStateGeneric | inlinevirtual |
| AddressSet typedef | Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::RegisterStateGeneric | |
| assertStorageConditions(const std::string &where, RegisterDescriptor what) const (defined in Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::RegisterStateGeneric) | Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::RegisterStateGeneric | protected |
| BitAddressSet typedef | Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::RegisterStateGeneric | |
| BitProperties typedef | Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::RegisterStateGeneric | |
| BitRange typedef | Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::RegisterStateGeneric | |
| clear() override | Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::RegisterStateGeneric | virtual |
| clearOverlappingLocations(RegisterDescriptor) (defined in Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::RegisterStateGeneric) | Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::RegisterStateGeneric | protected |
| clone() const override | Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::RegisterStateGeneric | inlinevirtual |
| create(const SValuePtr &protoval, const RegisterDictionaryPtr ®dict) const override | Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::RegisterStateGeneric | inlinevirtual |
| deep_copy_values() (defined in Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::RegisterStateGeneric) | Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::RegisterStateGeneric | protected |
| erase_register(RegisterDescriptor, RiscOperators *) | Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::RegisterStateGeneric | virtual |
| eraseProperties(RegisterDescriptor, const InputOutputPropertySet &) | Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::RegisterStateGeneric | virtual |
| eraseProperties(RegisterDescriptor) | Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::RegisterStateGeneric | virtual |
| eraseProperties() | Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::RegisterStateGeneric | virtual |
| eraseWriters(RegisterDescriptor, const AddressSet &writerVas) | Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::RegisterStateGeneric | virtual |
| eraseWriters(RegisterDescriptor) | Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::RegisterStateGeneric | virtual |
| eraseWriters() | Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::RegisterStateGeneric | virtual |
| findProperties(const InputOutputPropertySet &required, const InputOutputPropertySet &prohibited=InputOutputPropertySet()) const | Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::RegisterStateGeneric | virtual |
| get_stored_registers() const | Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::RegisterStateGeneric | virtual |
| getPropertiesIntersection(RegisterDescriptor) const | Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::RegisterStateGeneric | virtual |
| getPropertiesUnion(RegisterDescriptor) const | Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::RegisterStateGeneric | virtual |
| getWritersIntersection(RegisterDescriptor) const | Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::RegisterStateGeneric | virtual |
| getWritersUnion(RegisterDescriptor) const | Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::RegisterStateGeneric | virtual |
| hash(Combinatorics::Hasher &, RiscOperators *) const override | Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::RegisterStateGeneric | virtual |
| hasPropertyAll(RegisterDescriptor, InputOutputProperty) const | Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::RegisterStateGeneric | virtual |
| hasPropertyAny(RegisterDescriptor, InputOutputProperty) const | Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::RegisterStateGeneric | virtual |
| hasWritersAll(RegisterDescriptor) const | Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::RegisterStateGeneric | virtual |
| hasWritersAny(RegisterDescriptor) const | Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::RegisterStateGeneric | virtual |
| initialize_large() | Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::RegisterStateGeneric | virtual |
| initialize_nonoverlapping(const std::vector< RegisterDescriptor > &, bool initialize_to_zero) | Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::RegisterStateGeneric | |
| initialize_small() | Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::RegisterStateGeneric | virtual |
| insertProperties(RegisterDescriptor, const InputOutputPropertySet &) | Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::RegisterStateGeneric | virtual |
| insertWriters(RegisterDescriptor, const AddressSet &writerVas) | Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::RegisterStateGeneric | virtual |
| instance(const SValuePtr &protoval, const RegisterDictionaryPtr ®dict) | Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::RegisterStateGeneric | inlinestatic |
| instance(const RegisterStateGenericPtr &other) | Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::RegisterStateGeneric | inlinestatic |
| is_exactly_stored(RegisterDescriptor) const | Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::RegisterStateGeneric | virtual |
| is_partly_stored(RegisterDescriptor) const | Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::RegisterStateGeneric | virtual |
| is_wholly_stored(RegisterDescriptor) const | Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::RegisterStateGeneric | virtual |
| merge(const RegisterStatePtr &other, RiscOperators *) override | Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::RegisterStateGeneric | virtual |
| merger() const | Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::RegisterState | inline |
| merger(const MergerPtr &m) | Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::RegisterState | inline |
| operator+(Formatter &fmt) | Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::RegisterState | inline |
| operator+(const std::string &linePrefix) | Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::RegisterState | |
| overlappingRegisters(RegisterDescriptor) const | Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::RegisterStateGeneric | virtual |
| peekRegister(RegisterDescriptor, const SValuePtr &dflt, RiscOperators *) override | Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::RegisterStateGeneric | virtual |
| print(std::ostream &, Formatter &) const override | Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::RegisterStateGeneric | virtual |
| Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::RegisterState::print(std::ostream &stream, const std::string prefix="") const | Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::RegisterState | |
| promote(const RegisterStatePtr &from) | Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::RegisterStateGeneric | inlinestatic |
| protoval() const | Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::RegisterState | inline |
| Ptr typedef | Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::RegisterStateGeneric | |
| readRegister(RegisterDescriptor, const SValuePtr &dflt, RiscOperators *) override | Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::RegisterStateGeneric | virtual |
| regdict | Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::RegisterState | protected |
| RegisterAddressSet typedef | Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::RegisterStateGeneric | |
| registerDictionary() const | Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::RegisterState | |
| registerDictionary(const RegisterDictionaryPtr &) | Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::RegisterState | |
| RegisterProperties typedef | Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::RegisterStateGeneric | |
| Registers typedef | Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::RegisterStateGeneric | |
| registers_ | Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::RegisterStateGeneric | protected |
| RegisterState() (defined in Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::RegisterState) | Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::RegisterState | protected |
| RegisterState(const SValuePtr &protoval, const RegisterDictionaryPtr ®dict) (defined in Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::RegisterState) | Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::RegisterState | protected |
| RegisterStateGeneric() (defined in Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::RegisterStateGeneric) | Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::RegisterStateGeneric | inlineprotected |
| RegisterStateGeneric(const SValuePtr &protoval, const RegisterDictionaryPtr ®dict) (defined in Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::RegisterStateGeneric) | Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::RegisterStateGeneric | inlineexplicitprotected |
| RegisterStateGeneric(const RegisterStateGeneric &other) (defined in Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::RegisterStateGeneric) | Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::RegisterStateGeneric | inlineprotected |
| RegPairs typedef | Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::RegisterStateGeneric | |
| scanAccessedLocations(RegisterDescriptor reg, RiscOperators *ops, RegPairs &accessedParts, RegPairs &preservedParts) const (defined in Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::RegisterStateGeneric) | Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::RegisterStateGeneric | protected |
| setProperties(RegisterDescriptor, const InputOutputPropertySet &) | Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::RegisterStateGeneric | virtual |
| setWriters(RegisterDescriptor, const AddressSet &writers) | Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::RegisterStateGeneric | virtual |
| stored_parts(RegisterDescriptor) const | Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::RegisterStateGeneric | virtual |
| Super typedef | Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::RegisterStateGeneric | |
| traverse(Visitor &) | Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::RegisterStateGeneric | virtual |
| updateReadProperties(RegisterDescriptor) override | Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::RegisterStateGeneric | virtual |
| updateWriteProperties(RegisterDescriptor, InputOutputProperty) override | Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::RegisterStateGeneric | virtual |
| with_format(Formatter &fmt) | Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::RegisterState | inline |
| writeRegister(RegisterDescriptor, const SValuePtr &value, RiscOperators *) override | Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::RegisterStateGeneric | virtual |
| zero() override | Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::RegisterStateGeneric | virtual |
| ~RegisterState() (defined in Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::RegisterState) | Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::RegisterState | virtual |