/Framework/hu.bme.mit.inf.dslreasoner.logic.model/model/
../
Types_and_Type_References.pdf
Types_and_Type_References.svg
figures
logiclanguage.aird
logiclanguage.ecore
logiclanguage.genmodel
logicproblem.aird
logicproblem.ecore
logicresult.aird
logicresult.ecore