diff options
Diffstat (limited to 'Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/src/ca')
2 files changed, 9 insertions, 9 deletions
diff --git a/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/src/ca/mcgill/ecse/dslreasoner/VampireLanguage.xtext b/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/src/ca/mcgill/ecse/dslreasoner/VampireLanguage.xtext index a76107c4..2b5958ca 100644 --- a/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/src/ca/mcgill/ecse/dslreasoner/VampireLanguage.xtext +++ b/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/src/ca/mcgill/ecse/dslreasoner/VampireLanguage.xtext | |||
@@ -85,13 +85,13 @@ VLSSatisfiable: | |||
85 | {VLSSatisfiable} 'Satisfiable!' | 85 | {VLSSatisfiable} 'Satisfiable!' |
86 | ; | 86 | ; |
87 | 87 | ||
88 | VLSTrying: | 88 | //VLSTrying: |
89 | 'TRYING' '[' name = LITERAL ']' | 89 | // 'TRYING' '[' name = LITERAL ']' |
90 | ; | 90 | //; |
91 | 91 | // | |
92 | VLSFiniteModel: | 92 | //VLSFiniteModel: |
93 | {VLSFiniteModel} 'Finite' 'Model' 'Found!' | 93 | // {VLSFiniteModel} 'Finite' 'Model' 'Found!' |
94 | ; | 94 | //; |
95 | 95 | ||
96 | // <FOF formulas> | 96 | // <FOF formulas> |
97 | VLSFofFormula: | 97 | VLSFofFormula: |
diff --git a/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/src/ca/mcgill/ecse/dslreasoner/formatting2/VampireLanguageFormatter.xtend b/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/src/ca/mcgill/ecse/dslreasoner/formatting2/VampireLanguageFormatter.xtend index 4398d659..f943daad 100644 --- a/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/src/ca/mcgill/ecse/dslreasoner/formatting2/VampireLanguageFormatter.xtend +++ b/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/src/ca/mcgill/ecse/dslreasoner/formatting2/VampireLanguageFormatter.xtend | |||
@@ -38,11 +38,11 @@ class VampireLanguageFormatter extends AbstractFormatter2 { | |||
38 | } | 38 | } |
39 | 39 | ||
40 | def dispatch void format(VLSFofFormula formula, extension IFormattableDocument document){ | 40 | def dispatch void format(VLSFofFormula formula, extension IFormattableDocument document){ |
41 | // formula.append[newLine] | 41 | formula.append[newLine] |
42 | } | 42 | } |
43 | 43 | ||
44 | def dispatch void format(VLSComment comment, extension IFormattableDocument document){ | 44 | def dispatch void format(VLSComment comment, extension IFormattableDocument document){ |
45 | // comment.append[newLine] | 45 | comment.append[newLine] |
46 | } | 46 | } |
47 | // TODO: implement for VLSFofFormula, VLSAnnotation, VLSAnd, VLSOr, VLSUniversalQuantifier, VLSExistentialQuantifier, VLSUnaryNegation, VLSFunction, VLSLess, VLSFunctionFof, VLSEquivalent, VLSImplies, VLSRevImplies, VLSXnor, VLSNor, VLSNand, VLSInequality, VLSEquality, VLSAssignment | 47 | // TODO: implement for VLSFofFormula, VLSAnnotation, VLSAnd, VLSOr, VLSUniversalQuantifier, VLSExistentialQuantifier, VLSUnaryNegation, VLSFunction, VLSLess, VLSFunctionFof, VLSEquivalent, VLSImplies, VLSRevImplies, VLSXnor, VLSNor, VLSNand, VLSInequality, VLSEquality, VLSAssignment |
48 | } | 48 | } |