search

SemGuS-git / Semgus-Parser

Library and tool for parsing SemGuS specifications
MIT License
4 stars 1 forks source link

Library constant support #30

Closed WileyCorning closed 3 years ago

kjcjohnson commented 3 years ago

This is fine; the term LibraryDefinedSymbol is maybe not accurate, though, as I think the semantic relations go through that path (and they're not "library-defined".

We'll have to refactor all this anyway for Library Semantics, so it's fine.

kjcjohnson commented 3 years ago

Feel free to merge when you're ready.

WileyCorning commented 3 years ago

the term LibraryDefinedSymbol is maybe not accurate, though, as I think the semantic relations go through that path (and they're not "library-defined".

Fair point! this stems from LibraryDefinedSymbol being a promoted version of the old SymbolicPlaceholder. FWIW, sem rels are only represented this way very temporarily, but it is still a misnomer within that scope.

Feel free to merge when you're ready.

Thanks!