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.

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

QueryDivider and LargestIntervalDivider class #137

Merged
merged 9 commits into from
Jun 3, 2019

Conversation

wu-haoze
Copy link
Collaborator

@wu-haoze wu-haoze commented Jun 2, 2019

SubQuery.h contains definition of the SubQuery type. Each DnCWorker repeatedly solves/creates subqueries.
QueryDivider is an abstract class for classes that divides a given query into a vector of subqueries
LargestIntervalDivider extends the QueryDivider class and divides a given query by repeatedly bisecting the input dimension with the largest range.

@wu-haoze wu-haoze merged commit d83a9e4 into NeuralNetworkVerification:master Jun 3, 2019
matanost pushed a commit that referenced this pull request Nov 2, 2021
* QueryDivider and LargestIntervalDivider

* fix style

* add boost to local include and library dir in makefiles

* some comments

* change vectors to Lists, consistent naming of SubQuery objects

* change subquery from tuple to struct

* fix an assertion

* minor editing
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.

2 participants