Skip to content

Add conversion of tree rules to a ROBDD#2649

Closed
mtdowling wants to merge 1 commit intomainfrom
robdd
Closed

Add conversion of tree rules to a ROBDD#2649
mtdowling wants to merge 1 commit intomainfrom
robdd

Conversation

@mtdowling
Copy link
Copy Markdown
Member

Tree-based endpoint rules can be converted to a reduced ordered binary decision diagram, or ROBDD, allowing for a much more compact representation of endpoints and more optimal evaluation with no duplicated conditions for any given path.

Background

  • What do these changes do?
  • Why are they important?

Testing

  • How did you test these changes?

Links

  • Links to additional context, if necessary
  • Issue #, if applicable (see here for a list of keywords to use for linking issues)

By submitting this pull request, I confirm that my contribution is made under the terms of the Apache 2.0 license.

Tree-based endpoint rules can be converted to a reduced ordered
binary decision diagram, or ROBDD, allowing for a much more compact
representation of endpoints and more optimal evaluation with no
duplicated conditions for any given path.
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant