Expand description
Forward enumerator
Provides an Executor struct that manages the enumeration process, including the enumerate function for generating expressions based on the provided grammar and context.
Modulesยง
- bridge
- Bridge for interthread communication
- data
- Term Dispatcher Data structure
- enumeration
- Enumeration logics
- executor
- Executor for asynchronous synthesis