PGFs merging should update the probspace only once

This commit is contained in:
Krasimir Angelov
2023-03-09 12:59:18 +01:00
parent dfa2c7873b
commit 4863ab0ec9
2 changed files with 22 additions and 2 deletions

View File

@@ -64,6 +64,8 @@ public:
ref<PgfFlag> read_flag();
ref<PgfAbsFun> read_absfun();
ref<PgfAbsFun> merge_absfun();
ref<PgfAbsFun> read_absfun_only();
ref<PgfAbsCat> read_abscat();
void read_abstract(ref<PgfAbstr> abstract);
void merge_abstract(ref<PgfAbstr> abstract);