Merge trial#3

Open

cacfd3a wants to merge 9 commits into

jgonggrijp:merge-trialfrom

cacfd3a:merge-trial

Commits on Jan 31, 2015

?
Maarten
committed
unfold gives back a list of composition graphs (subgraphs), instead of one merged composition graph. The subgraphs are guaranteed to not have clashing identifiers.
Maarten
committed
???
Maarten
committed

Commits on Feb 17, 2015

Merge branch 'merge-trial' of github.com:digitalheir/net-prove into merge-trial
Maarten
committed
Added .idea/ to .gitignore
Maarten
committed
Bugfix to Unfold module, where a loop was initiated due to a poorly chosen variable name
Maarten
committed
Made formula/node datatypes an instance of Ord, so we can put them in sets. Also created utility functions `leafNodes`, `isOpenLeafNode` and `pairToOccurrence`.
Maarten
committed
Added LeafNode class to Graph.hs; reworked Identify.hs so that it takes as an input an ordered list of formulas, and makes sure that the graph that results from identification is connected.
Maarten
committed

Commits on Feb 18, 2015

Cleaned up Identify.hs, re-added filter that assures only maximal identification profiles are returned (i.e., no profiles that are strict subsets of other profiles)
Maarten
committed