/Framework/hu.bme.mit.inf.dslreasoner.logic.model/model/figures/
../
Constants, Functions and Relations.png
Types and Type References.png
logicproblem.png
logicresult class diagram.png
neighbourhoodrepresentation class diagram.png