/Framework/hu.bme.mit.inf.dslreasoner.viatra2logic/src/hu/bme/mit/inf/dslreasoner/viatra2logic/

• ../
• Constraint2Logic.xtend
• ExpressionEvaluation2Logic.xtend
• FakeIntegerElement.java
• NumericProblemSolver.java
• Viatra2Logic.xtend
• Viatra2LogicTypeInferer.xtend
• Viatra2LogicTypeResult.xtend
• XExpressionExtractor.xtend