IComparable implementation. Compares PQbdds based on their size
int representing the difference
IComparable.
PQbdd Class | CLab.BDD Namespace