Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Re-implement AsyncGraph with updated interfaces and features. #18

Open
daemontus opened this issue Feb 16, 2021 · 1 comment
Open

Re-implement AsyncGraph with updated interfaces and features. #18

daemontus opened this issue Feb 16, 2021 · 1 comment
Labels
enhancement New feature or request
Milestone
1.0.0

Comments

@daemontus
Copy link
Member

Old and new symbolic encoding has a lot in common, but currently uses very different architecture. We should make this more unified.

Specifically, we should make both implementations use FunctionTable to map functions to Bdd variables. Also, having SymbolicContext and SemiSymbolicContext (instead of encoder) together would be a good idea.
@daemontus daemontus added this to the 1.0.0 milestone Dec 22, 2021
@daemontus
Copy link
Member Author

Original AsyncGraph has been marked as deprecated in 0.2.0 so that everyone using it knows not to rely on it too much. It should be re-implemented with similar API to SymbolicAsyncGraph in the future. The current implementation will live on until 1.0.0, where it should be superseded by a new one.

@daemontus daemontus added the enhancement New feature or request label Dec 22, 2021
@daemontus daemontus changed the title Consolidate bdd_parameter_encoder and symbolic_context Re-implement AsyncGraph with updated interfaces and features. Dec 22, 2021
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
enhancement New feature or request
Projects
None yet
Milestone
1.0.0
Development

No branches or pull requests
1 participant
@daemontus