alt-ergo
alt-ergo copied to clipboard
Added contex reinitialisation functions
The purpose of this PR is to add the necessary functions to allow resolution context re-initialization in Alt-Ergo. Since Alt-Ergo internally relies on side effects through references and hash-tables, A user that uses it as a library might want to reset the resolution context to its initial state, aka the state in which the modules are after their initialization. The current version re-initializes some of the refs with hard-coded values which is not ideal but it works.
@Stevendeo I'll mark this as a draft for now since I wanted to do the context reinitialisation more dynamically and avoid using literals for the integer ids.