/Solvers/Alloy-Solver2/hu.bme.mit.inf.dlsreasoner.alloy.reasoner/src/hu/bme/mit/inf/dlsreasoner/alloy/reasoner/builder/
../
Alloy2LogicMapper.xtend
AlloyHandler.xtend
AlloyModelInterpretation.xtend
AlloyModelInterpretation_TypeInterpretation.xtend
AlloyModelInterpretation_TypeInterpretation_FilteredTypes.xtend
AlloyModelInterpretation_TypeInterpretation_InheritanceAndHorizontal.xtend
Logic2AlloyLanguageMapper.xtend
Logic2AlloyLanguageMapperTrace.xtend
Logic2AlloyLanguageMapper_ConstantMapper.xtend
Logic2AlloyLanguageMapper_Containment.xtend
Logic2AlloyLanguageMapper_FunctionMapper.xtend
Logic2AlloyLanguageMapper_RelationMapper.xtend
Logic2AlloyLanguageMapper_Support.xtend
Logic2AlloyLanguageMapper_TypeMapper.xtend
Logic2AlloyLanguageMapper_TypeMapperTrace_FilteredTypes.xtend
Logic2AlloyLanguageMapper_TypeMapperTrace_InheritanceAndHorizontal.xtend
Logic2AlloyLanguageMapper_TypeMapper_FilteredTypes.xtend
Logic2AlloyLanguageMapper_TypeMapper_InheritanceAndHorizontal.xtend
RunCommandMapper.xtend