Comments.
Comments.
Rename homomorphisms builders.
Factorize type common to saturation_sum and saturation_intersection.
Remove LIBSDD_ATTRIBUTE_PACKED where it's not very useful.
Rename values_function to function.
Don't include reordering strategies by default.
Headers includes cleanup
Documentation.
Merge branch 'master' into linear_allocation

Conflicts:
	sdd/hom/local.hh
Documentation.
Removed unused and dangerous reset method of the linear allocator's memory arena.
Refine the assertion made at the arena's end of life.

The previous assertion didn't take into account that some memory could be allocated outside the scope of a rewinder.
Comments.