/Framework/hu.bme.mit.inf.dslreasoner.viatra2logic/src/hu/bme/mit/inf/dslreasoner/viatra2logic/
../
Constraint2Logic.xtend
ExampleRecreation.java
ExpressionEvaluation2Logic.xtend
FakeIntegerElement.java
NumericProblemSolver.java
NumericTranslator.xtend
Viatra2Logic.xtend
Viatra2LogicTypeInferer.xtend
Viatra2LogicTypeResult.xtend
XExpressionExtractor.xtend