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

bdd_varnum is a too general name, as it only refers to BDD variables #33

Open
magoorden opened this issue Jul 26, 2022 · 0 comments
Open

bdd_varnum is a too general name, as it only refers to BDD variables #33

magoorden opened this issue Jul 26, 2022 · 0 comments

Comments

@magoorden
Copy link
Contributor

From #31.

The below code uses cdd_varnum and here we have cdd_clocknum -- are these the same?

cdd_varnum is the "number of BDD variables" and cdd_clocknum the "number of clocks" (see kernel.h). So they are different. I agree that cdd_varnum is a little bit misleading, as both boolean variables and clocks can be though of as variables. I will create an issue for this to change the naming separately.
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
1 participant
@magoorden