Skip to content
Commit 6895b87d authored by Jakob Stoklund Olesen's avatar Jakob Stoklund Olesen
Browse files

Keep track of the number of positively biased nodes when adding constraints. 

If there are no positive nodes, the algorithm can be aborted early.

llvm-svn: 129021
parent 36b5d8a6
Hide whitespace changes
Inline Side-by-side
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment