diff options
Diffstat (limited to 'Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.reasoner/xtend-gen/ca/mcgill/ecse/dslreasoner/vampire/reasoner/builder/.gitignore')
| -rw-r--r-- | Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.reasoner/xtend-gen/ca/mcgill/ecse/dslreasoner/vampire/reasoner/builder/.gitignore | 42 |
1 files changed, 0 insertions, 42 deletions
diff --git a/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.reasoner/xtend-gen/ca/mcgill/ecse/dslreasoner/vampire/reasoner/builder/.gitignore b/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.reasoner/xtend-gen/ca/mcgill/ecse/dslreasoner/vampire/reasoner/builder/.gitignore deleted file mode 100644 index 8a9aa4bb..00000000 --- a/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.reasoner/xtend-gen/ca/mcgill/ecse/dslreasoner/vampire/reasoner/builder/.gitignore +++ /dev/null | |||
| @@ -1,42 +0,0 @@ | |||
| 1 | /.Logic2VampireLanguageMapper_ConstantMapper.java._trace | ||
| 2 | /.Logic2VampireLanguageMapper.java._trace | ||
| 3 | /.Logic2VampireLanguageMapperTrace.java._trace | ||
| 4 | /.Logic2VampireLanguageMapper_TypeMapperTrace.java._trace | ||
| 5 | /.VampireModelInterpretation_TypeInterpretation.java._trace | ||
| 6 | /.VampireModelInterpretation_TypeInterpretation_FilteredTypes.java._trace | ||
| 7 | /.Logic2VampireLanguageMapper_TypeMapperTrace_FilteredTypes.java._trace | ||
| 8 | /.Logic2VampireLanguageMapper_TypeMapper.java._trace | ||
| 9 | /.Logic2VampireLanguageMapper_TypeMapper_FilteredTypes.java._trace | ||
| 10 | /.Logic2VampireLanguageMapper_Support.java._trace | ||
| 11 | /.Logic2VampireLanguageMapper_RelationMapper.java._trace | ||
| 12 | /.Logic2VampireLanguageMapper.xtendbin | ||
| 13 | /.Logic2VampireLanguageMapperTrace.xtendbin | ||
| 14 | /.Logic2VampireLanguageMapper_ConstantMapper.xtendbin | ||
| 15 | /.Logic2VampireLanguageMapper_RelationMapper.xtendbin | ||
| 16 | /.Logic2VampireLanguageMapper_Support.xtendbin | ||
| 17 | /.Logic2VampireLanguageMapper_TypeMapper.xtendbin | ||
| 18 | /.Logic2VampireLanguageMapper_TypeMapperTrace_FilteredTypes.xtendbin | ||
| 19 | /.Logic2VampireLanguageMapper_TypeMapper_FilteredTypes.xtendbin | ||
| 20 | /.VampireModelInterpretation_TypeInterpretation.xtendbin | ||
| 21 | /.VampireModelInterpretation_TypeInterpretation_FilteredTypes.xtendbin | ||
| 22 | /Logic2VampireLanguageMapper.java | ||
| 23 | /Logic2VampireLanguageMapperTrace.java | ||
| 24 | /Logic2VampireLanguageMapper_ConstantMapper.java | ||
| 25 | /Logic2VampireLanguageMapper_RelationMapper.java | ||
| 26 | /Logic2VampireLanguageMapper_Support.java | ||
| 27 | /Logic2VampireLanguageMapper_TypeMapper.java | ||
| 28 | /Logic2VampireLanguageMapper_TypeMapperTrace.java | ||
| 29 | /Logic2VampireLanguageMapper_TypeMapperTrace_FilteredTypes.java | ||
| 30 | /Logic2VampireLanguageMapper_TypeMapper_FilteredTypes.java | ||
| 31 | /VampireModelInterpretation_TypeInterpretation.java | ||
| 32 | /VampireModelInterpretation_TypeInterpretation_FilteredTypes.java | ||
| 33 | /.Vampire2LogicMapper.java._trace | ||
| 34 | /.VampireHandler.java._trace | ||
| 35 | /.MonitoredVampireSolution.java._trace | ||
| 36 | /.SolverConfiguration.java._trace | ||
| 37 | /.VampireSolverException.java._trace | ||
| 38 | /.VampireSolutionModel.java._trace | ||
| 39 | /.VampireCallerWithTimeout.java._trace | ||
| 40 | /.Logic2VampireLanguageMapper_ScopeMapper.java._trace | ||
| 41 | /.Logic2VampireLanguageMapper_Containment.java._trace | ||
| 42 | /.Logic2VampireLanguageMapper_ContainmentMapper.java._trace | ||