Merge branch 'development' into LTS_development
# Conflicts: # src/output/output_hls.cpp
This commit is contained in:
commit
02ac648bae
4 changed files with 27 additions and 15 deletions
|
@ -313,6 +313,7 @@ namespace DTSC {
|
|||
void reset();
|
||||
void toPrettyString(std::ostream & str, int indent = 0, int verbosity = 0);
|
||||
void finalize();
|
||||
uint32_t biggestFragment();
|
||||
|
||||
std::string getIdentifier();
|
||||
std::string getWritableIdentifier();
|
||||
|
|
Loading…
Add table
Add a link
Reference in a new issue