aboutsummaryrefslogtreecommitdiffstats
path: root/Solvers/Alloy-Solver/hu.bme.mit.inf.dlsreasoner.alloy.reasoner/src/hu/bme/mit/inf/dlsreasoner/alloy/reasoner/builder
ModeNameSize
-rw-r--r--Alloy2LogicMapper.xtend2375logstatsplainblame
-rw-r--r--AlloyHandler.xtend7780logstatsplainblame
-rw-r--r--AlloyModelInterpretation.xtend9989logstatsplainblame
-rw-r--r--AlloyModelInterpretation_TypeInterpretation.xtend886logstatsplainblame
-rw-r--r--AlloyModelInterpretation_TypeInterpretation_FilteredTypes.xtend3410logstatsplainblame
-rw-r--r--AlloyModelInterpretation_TypeInterpretation_InheritanceAndHorizontal.xtend1200logstatsplainblame
-rw-r--r--Logic2AlloyLanguageMapper.xtend28477logstatsplainblame
-rw-r--r--Logic2AlloyLanguageMapperTrace.xtend3226logstatsplainblame
-rw-r--r--Logic2AlloyLanguageMapper_ConstantMapper.xtend1931logstatsplainblame
-rw-r--r--Logic2AlloyLanguageMapper_Containment.xtend10677logstatsplainblame
-rw-r--r--Logic2AlloyLanguageMapper_FunctionMapper.xtend3824logstatsplainblame
-rw-r--r--Logic2AlloyLanguageMapper_RelationMapper.xtend8642logstatsplainblame
-rw-r--r--Logic2AlloyLanguageMapper_Support.xtend8834logstatsplainblame
-rw-r--r--Logic2AlloyLanguageMapper_TypeMapper.xtend1099logstatsplainblame
-rw-r--r--Logic2AlloyLanguageMapper_TypeMapperTrace_FilteredTypes.xtend679logstatsplainblame
-rw-r--r--Logic2AlloyLanguageMapper_TypeMapperTrace_InheritanceAndHorizontal.xtend795logstatsplainblame
-rw-r--r--Logic2AlloyLanguageMapper_TypeMapper_FilteredTypes.xtend11025logstatsplainblame
-rw-r--r--Logic2AlloyLanguageMapper_TypeMapper_InheritanceAndHorizontal.xtend5107logstatsplainblame
-rw-r--r--Logic2AlloyLanguageMapper_TypeScopeMapping.xtend2361logstatsplainblame
-rw-r--r--RunCommandMapper.xtend8301logstatsplainblame
generated by cgit v1.2.3-54-g00ecf (git 2.45.2) at 2024-06-17 19:04:11 +0000