Added functions which, given an NWA, return the NWA which is the result of applying the quotient operation on the given NWA
Moved DisjointSets.hpp from AddOns/Xfa/Source/wali/util  to Source/wali/util
Implemented the quotient() function
Modified the implementation of quotient(). Now the quotient NWA has newly generated states provided by the statesQuotient() function for each representative state from the partition map . This function will be overridden to handle the merging of client infos.
- statesQuotient() takes a set of states belonging to an equivalence class in the partition on the given NWA instead of a disjoint set and an iterator pointing to the equivalence class.
- Some refactoring done and added some comments.