diff options
author | Kristóf Marussy <marussy@mit.bme.hu> | 2021-07-02 01:05:54 +0200 |
---|---|---|
committer | Kristóf Marussy <marussy@mit.bme.hu> | 2021-07-02 01:05:54 +0200 |
commit | e5a042909a448a82e164aa1c89cc6faf0cbff357 (patch) | |
tree | b4d9bcd777f5e94f53051e045d5c73c2a2de7a99 /language/src/main | |
parent | Fonts and ligatures (diff) | |
download | refinery-e5a042909a448a82e164aa1c89cc6faf0cbff357.tar.gz refinery-e5a042909a448a82e164aa1c89cc6faf0cbff357.tar.zst refinery-e5a042909a448a82e164aa1c89cc6faf0cbff357.zip |
Change operator for predicate definition
Diffstat (limited to 'language/src/main')
-rw-r--r-- | language/src/main/java/org/eclipse/viatra/solver/language/Problem.xtext | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/language/src/main/java/org/eclipse/viatra/solver/language/Problem.xtext b/language/src/main/java/org/eclipse/viatra/solver/language/Problem.xtext index 4aeb0acd..9e032a13 100644 --- a/language/src/main/java/org/eclipse/viatra/solver/language/Problem.xtext +++ b/language/src/main/java/org/eclipse/viatra/solver/language/Problem.xtext | |||
@@ -35,7 +35,7 @@ PredicateDefinition: | |||
35 | (error?="error" "pred"? | "pred") | 35 | (error?="error" "pred"? | "pred") |
36 | name=Identifier | 36 | name=Identifier |
37 | "(" (parameters+=Parameter ("," parameters+=Parameter)*)? ")" | 37 | "(" (parameters+=Parameter ("," parameters+=Parameter)*)? ")" |
38 | (":-" bodies+=Conjunction (";" bodies+=Conjunction)*)? | 38 | ("<=>" bodies+=Conjunction (";" bodies+=Conjunction)*)? |
39 | "."; | 39 | "."; |
40 | 40 | ||
41 | Parameter: | 41 | Parameter: |