aboutsummaryrefslogtreecommitdiffstats
path: root/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.reasoner/xtend-gen/ca/mcgill/ecse/dslreasoner/vampire/reasoner/builder/.gitignore
blob: d27ff186279c923f3e4537be46befadf90785083 (plain) (blame)
1
2
3
4
5
6
7
8
9
10
11
/.Logic2VampireLanguageMapper_ConstantMapper.java._trace
/.Logic2VampireLanguageMapper.java._trace
/.Logic2VampireLanguageMapperTrace.java._trace
/.Logic2VampireLanguageMapper_TypeMapperTrace.java._trace
/.VampireModelInterpretation_TypeInterpretation.java._trace
/.VampireModelInterpretation_TypeInterpretation_FilteredTypes.java._trace
/.Logic2VampireLanguageMapper_TypeMapperTrace_FilteredTypes.java._trace
/.Logic2VampireLanguageMapper_TypeMapper.java._trace
/.Logic2VampireLanguageMapper_TypeMapper_FilteredTypes.java._trace
/.Logic2VampireLanguageMapper_Support.java._trace
/.Logic2VampireLanguageMapper_RelationMapper.java._trace