Inline getters and setters in ResultStore class