joliebig/featurehouse — pull request #13 by praast (2014-03-22 08:44:04+00:00)
Title: Extension of Metaproduct generation

I extended the Metaprodukt-Generation.
Changes mainly in Metaproduct-Classes.
In ContractComposition I only changed visibilities from private to protected and fixed one Bug with more than one \forall ... in one Specification