Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

[1_13] Revert the removal of inline for patch_rep #29

Closed
wants to merge 1 commit into from
Closed

[1_13] Revert the removal of inline for patch_rep #29

Changes from all commits
Commits
Show all changes
1 commit
Select commit
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
16 changes: 8 additions & 8 deletions Data/History/patch.hpp
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -28,23 +28,23 @@ class patch;
class patch_rep : public abstract_struct {
public:
inline patch_rep () {}
virtual ~patch_rep () {}
virtual int get_type ()= 0;
virtual int get_arity () { return 0; }
virtual patch get_child (int i);
virtual modification get_modification () {
inline virtual ~patch_rep () {}
inline virtual int get_type ()= 0;
inline virtual int get_arity () { return 0; }
inline virtual patch get_child (int i);
inline virtual modification get_modification () {
TM_FAILED ("not a modification");
return mod_assign (path (), "");
}
virtual modification get_inverse () {
inline virtual modification get_inverse () {
TM_FAILED ("not a modification");
return mod_assign (path (), "");
}
virtual bool get_birth () {
inline virtual bool get_birth () {
TM_FAILED ("not a birth");
return false;
}
virtual double get_author () { return -1; }
inline virtual double get_author () { return -1; }
};

class patch {
Expand Down
Loading