diff options
Diffstat (limited to 'Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.queries/src-gen/ca/mcgill/ecse/dslreasoner/vampire/queries/.gitignore')
-rw-r--r-- | Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.queries/src-gen/ca/mcgill/ecse/dslreasoner/vampire/queries/.gitignore | 13 |
1 files changed, 13 insertions, 0 deletions
diff --git a/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.queries/src-gen/ca/mcgill/ecse/dslreasoner/vampire/queries/.gitignore b/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.queries/src-gen/ca/mcgill/ecse/dslreasoner/vampire/queries/.gitignore new file mode 100644 index 00000000..190dbd80 --- /dev/null +++ b/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.queries/src-gen/ca/mcgill/ecse/dslreasoner/vampire/queries/.gitignore | |||
@@ -0,0 +1,13 @@ | |||
1 | /.VLSAnd.java._trace | ||
2 | /.VLSAnnotation.java._trace | ||
3 | /.VLSComment.java._trace | ||
4 | /.VLSEquivalent.java._trace | ||
5 | /.VLSExistentialQuantifier.java._trace | ||
6 | /.VLSFofFormula.java._trace | ||
7 | /.VLSFunction.java._trace | ||
8 | /.VLSFunctionFof.java._trace | ||
9 | /.VLSInequality.java._trace | ||
10 | /.VLSOr.java._trace | ||
11 | /.VLSUnaryNegation.java._trace | ||
12 | /.VLSUniversalQuantifier.java._trace | ||
13 | /.VampireQueries.java._trace | ||