aboutsummaryrefslogtreecommitdiffstats
path: root/Solvers/Alloy-Solver2/hu.bme.mit.inf.dlsreasoner.alloy.reasoner/src/hu/bme/mit/inf/dlsreasoner/alloy/reasoner/builder
ModeNameSize
-rw-r--r--Alloy2LogicMapper.xtend2310logstatsplainblame
-rw-r--r--AlloyHandler.xtend7847logstatsplainblame
-rw-r--r--AlloyModelInterpretation.xtend9741logstatsplainblame
-rw-r--r--AlloyModelInterpretation_TypeInterpretation.xtend866logstatsplainblame
-rw-r--r--AlloyModelInterpretation_TypeInterpretation_FilteredTypes.xtend3339logstatsplainblame
-rw-r--r--AlloyModelInterpretation_TypeInterpretation_InheritanceAndHorizontal.xtend1181logstatsplainblame
-rw-r--r--Logic2AlloyLanguageMapper.xtend27987logstatsplainblame
-rw-r--r--Logic2AlloyLanguageMapperTrace.xtend3171logstatsplainblame
-rw-r--r--Logic2AlloyLanguageMapper_ConstantMapper.xtend1889logstatsplainblame
-rw-r--r--Logic2AlloyLanguageMapper_Containment.xtend10418logstatsplainblame
-rw-r--r--Logic2AlloyLanguageMapper_FunctionMapper.xtend3738logstatsplainblame
-rw-r--r--Logic2AlloyLanguageMapper_RelationMapper.xtend8278logstatsplainblame
-rw-r--r--Logic2AlloyLanguageMapper_Support.xtend8628logstatsplainblame
-rw-r--r--Logic2AlloyLanguageMapper_TypeMapper.xtend1081logstatsplainblame
-rw-r--r--Logic2AlloyLanguageMapper_TypeMapperTrace_FilteredTypes.xtend665logstatsplainblame
-rw-r--r--Logic2AlloyLanguageMapper_TypeMapperTrace_InheritanceAndHorizontal.xtend780logstatsplainblame
-rw-r--r--Logic2AlloyLanguageMapper_TypeMapper_FilteredTypes.xtend10830logstatsplainblame
-rw-r--r--Logic2AlloyLanguageMapper_TypeMapper_InheritanceAndHorizontal.xtend4986logstatsplainblame
-rw-r--r--RunCommandMapper.xtend4702logstatsplainblame
generated by cgit v1.2.3-54-g00ecf (git 2.45.2) at 2024-06-26 08:42:09 +0000