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: |