Barnard-PL-Labs / tsltools

Library and tools for the TSL specification format
Other
7 stars 4 forks source link

Add Abstract Syntax Tree data structure #29

Closed wonhyukchoi closed 2 years ago

wonhyukchoi commented 2 years ago

Added the TSL.Ast.Ast data structure, which is an alternate representation of signal/predicate/function terms. They are equivalent to the data structures defined in TSL.Logic, but instead of being curried, are structured as an Abstract Syntax Tree.

Documentation is in the code.