Expand description
Executor for asynchronous synthesis
Structs§
- Executor
- A structure representing an executor for managing and coordinating the synthesis process.
- Task
Waiting Cost - Holds all tasks waiting for a cost limit to be released.
Statics§
- STOP_
SIGNAL - A Boolean flag that utilizes atomic operations to safely manage concurrent access across multiple threads.