/Framework/hu.bme.mit.inf.dslreasoner.viatra2logic/ecore-gen/hu/bme/mit/inf/dslreasoner/viatra2logic/viatra2logicannotations/
../
DefinedByDerivedFeature.java
TransfomedViatraQuery.java
TransformedViatraWellformednessConstraint.java
Viatra2LogicAnnotationsFactory.java
Viatra2LogicAnnotationsPackage.java
impl
util