diff options
author | 2019-02-01 16:03:30 -0500 | |
---|---|---|
committer | 2019-02-01 16:03:30 -0500 | |
commit | 717916e99b2c8e7965fb31f4448b4336d8c2f19a (patch) | |
tree | 074c77b8465f1e47e7a28af2d95f79c1f5abaf86 /Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.queries | |
parent | FAM MM transformation works (diff) | |
download | VIATRA-Generator-717916e99b2c8e7965fb31f4448b4336d8c2f19a.tar.gz VIATRA-Generator-717916e99b2c8e7965fb31f4448b4336d8c2f19a.tar.zst VIATRA-Generator-717916e99b2c8e7965fb31f4448b4336d8c2f19a.zip |
Fix FAM Test. Begin Grammar Fix.
Diffstat (limited to 'Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.queries')
-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 index 190dbd80..f357d2af 100644 --- 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 | |||
@@ -11,3 +11,16 @@ | |||
11 | /.VLSUnaryNegation.java._trace | 11 | /.VLSUnaryNegation.java._trace |
12 | /.VLSUniversalQuantifier.java._trace | 12 | /.VLSUniversalQuantifier.java._trace |
13 | /.VampireQueries.java._trace | 13 | /.VampireQueries.java._trace |
14 | /VLSAnd.java | ||
15 | /VLSAnnotation.java | ||
16 | /VLSComment.java | ||
17 | /VLSEquivalent.java | ||
18 | /VLSExistentialQuantifier.java | ||
19 | /VLSFofFormula.java | ||
20 | /VLSFunction.java | ||
21 | /VLSFunctionFof.java | ||
22 | /VLSInequality.java | ||
23 | /VLSOr.java | ||
24 | /VLSUnaryNegation.java | ||
25 | /VLSUniversalQuantifier.java | ||
26 | /VampireQueries.java | ||