Minor changes to support interpreter functionality

SemGuS-git / Semgus-Parser

Library and tool for parsing SemGuS specifications

MIT License

4 stars 1 forks source link

Minor changes to support interpreter functionality #41

Closed WileyCorning closed 2 years ago

WileyCorning commented 2 years ago

Noteworthy aspects:

Have theories implement an interface instead of extending an abstract class
Centralize certain identifiers to cut down on the number of repeated string literals
Expose certain types and properties as public

kjcjohnson commented 2 years ago

@WileyCorning - you may need to rebase off of main, since I merged #48. That one adjusted the nullability attributes of the SemgusGrammar.Production record to account for non-terminal --> non-terminal productions.