diff options
author | 2019-04-05 03:32:48 -0400 | |
---|---|---|
committer | 2020-06-07 19:36:25 -0400 | |
commit | b1bbb821c0e5a3f721de211826dab19c7d9dca4f (patch) | |
tree | ac4a87adba243916973a96141354adbed6f72979 /Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.queries/src/ca/mcgill/ecse/dslreasoner/vampire | |
parent | test push (diff) | |
download | VIATRA-Generator-b1bbb821c0e5a3f721de211826dab19c7d9dca4f.tar.gz VIATRA-Generator-b1bbb821c0e5a3f721de211826dab19c7d9dca4f.tar.zst VIATRA-Generator-b1bbb821c0e5a3f721de211826dab19c7d9dca4f.zip |
Implement containment circularity avoidance #20
Diffstat (limited to 'Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.queries/src/ca/mcgill/ecse/dslreasoner/vampire')
-rw-r--r-- | Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.queries/src/ca/mcgill/ecse/dslreasoner/vampire/queries/vampireQueries.vql | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.queries/src/ca/mcgill/ecse/dslreasoner/vampire/queries/vampireQueries.vql b/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.queries/src/ca/mcgill/ecse/dslreasoner/vampire/queries/vampireQueries.vql index 2bc22f9e..ef61e4d1 100644 --- a/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.queries/src/ca/mcgill/ecse/dslreasoner/vampire/queries/vampireQueries.vql +++ b/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.queries/src/ca/mcgill/ecse/dslreasoner/vampire/queries/vampireQueries.vql | |||
@@ -48,9 +48,9 @@ pattern VLSInequality(term: VLSInequality){ | |||
48 | VLSInequality(term); | 48 | VLSInequality(term); |
49 | } | 49 | } |
50 | 50 | ||
51 | pattern VLSFunctionFof(term: VLSFunctionFof){ | 51 | //pattern VLSFunctionFof(term: VLSFunctionFof){ |
52 | VLSFunctionFof(term); | 52 | // VLSFunctionFof(term); |
53 | } | 53 | //} |
54 | 54 | ||
55 | //pattern VLSFofTerm(term: VLSFofTerm){ | 55 | //pattern VLSFofTerm(term: VLSFofTerm){ |
56 | // VLSFofTerm(term); | 56 | // VLSFofTerm(term); |