Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.queries/src-gen/ca/mcgill/ecse/dslreasoner/vampire/queries/.gitignore


1
2
3
4
5
6
7
8
9
10
11
12
13

/.VLSAnd.java._trace
/.VLSAnnotation.java._trace
/.VLSComment.java._trace
/.VLSEquivalent.java._trace
/.VLSExistentialQuantifier.java._trace
/.VLSFofFormula.java._trace
/.VLSFunction.java._trace
/.VLSFunctionFof.java._trace
/.VLSInequality.java._trace
/.VLSOr.java._trace
/.VLSUnaryNegation.java._trace
/.VLSUniversalQuantifier.java._trace
/.VampireQueries.java._trace