souffle icon indicating copy to clipboard operation
souffle copied to clipboard

RAM Refactoring: Frequency Measurement of Atoms

Open b-scholz opened this issue 3 years ago • 0 comments

In RamNestedOperation nodes, we store a profile text for measuring frequencies in the interpreter/synthesiser in case profiling is switched on.

/** @brief Get profile text */
    const std::string& getProfileText() const {
        return profileText;
    }

This violates the PODs idea, i.e., a minimal passive data structure for representing RAM instructions.

We can refactor the code by introducing a new Profiling RAM Operation that stores the profiling information.

b-scholz avatar Aug 26 '21 23:08 b-scholz