diff options
author | 2019-03-20 20:39:28 -0400 | |
---|---|---|
committer | 2020-06-07 19:33:22 -0400 | |
commit | 513a5afe3a8663ad30112f7e3c0e66137938e635 (patch) | |
tree | e9ae81f529712a372bd203cb0ef2a19b9b224c95 /Tests/ca.mcgill.ecse.dslreasoner.vampire.test/output/VampireTest | |
parent | Implement Containment mapping (partially) and revisit enum mapping (diff) | |
download | VIATRA-Generator-513a5afe3a8663ad30112f7e3c0e66137938e635.tar.gz VIATRA-Generator-513a5afe3a8663ad30112f7e3c0e66137938e635.tar.zst VIATRA-Generator-513a5afe3a8663ad30112f7e3c0e66137938e635.zip |
Add gitignore, commit everything
Diffstat (limited to 'Tests/ca.mcgill.ecse.dslreasoner.vampire.test/output/VampireTest')
-rw-r--r-- | Tests/ca.mcgill.ecse.dslreasoner.vampire.test/output/VampireTest/vampireProblem.tptp | 7 |
1 files changed, 0 insertions, 7 deletions
diff --git a/Tests/ca.mcgill.ecse.dslreasoner.vampire.test/output/VampireTest/vampireProblem.tptp b/Tests/ca.mcgill.ecse.dslreasoner.vampire.test/output/VampireTest/vampireProblem.tptp deleted file mode 100644 index 4c368859..00000000 --- a/Tests/ca.mcgill.ecse.dslreasoner.vampire.test/output/VampireTest/vampireProblem.tptp +++ /dev/null | |||
@@ -1,7 +0,0 @@ | |||
1 | % This is an initial Test Comment | ||
2 | fof ( typeDef_oldRPS , axiom , ! [ A ] : ( t_oldRPS ( A ) <=> ( e_Rock_oldRPS ( A ) | ( e_Paper_oldRPS ( A ) | e_Scissor_oldRPS ( A ) ) ) ) ) . | ||
3 | fof ( hierarchyHandler , axiom , ! [ A ] : ( object ( A ) <=> t_oldRPS ( A ) ) ) . | ||
4 | fof ( typeScope , axiom , ! [ A ] : ( object ( A ) <=> ( A = o1 | ( A = o2 | ( A = o3 | A = o4 ) ) ) ) ) . | ||
5 | fof ( typeUniqueness , axiom , o1 != o2 & ( o1 != o3 & ( o2 != o3 & ( o1 != o4 & ( o2 != o4 & o3 != o4 ) ) ) ) ) . | ||
6 | fof ( compliance_beats2 , axiom , ! [ Var_0 , Var_1 ] : ( rel_beats2 ( Var_0 , Var_1 ) => ( t_oldRPS ( Var_0 ) & t_oldRPS ( Var_1 ) ) ) ) . | ||
7 | fof ( assertion1 , axiom , ! [ Var_x ] : ( t_oldRPS ( Var_x ) => ? [ Var_y ] : ( t_oldRPS ( Var_y ) & ( rel_beats2 ( Var_x , Var_y ) & ( Var_x != Var_y & ~ rel_beats2 ( Var_y , Var_x ) ) ) ) ) ) . | ||