tree 191dea33f1f5fa1c3c63c7bc94d6a029ce6a3cc6
parent 2c94eed50fe4606ff115674a9616e379343a2f26
author Sameer Agarwal <sameeragarwal@google.com> 1349164137 -0700
committer Sameer Agarwal <sameeragarwal@google.com> 1349451353 -0700

Generalization of the inner iterations algorithm.

Add automatic recursive independent set decomposition.
Clean up the naming and the API for inner iterations.

Change-Id: I3d7d6babb9756842d7367e14b7279d2df98fb724