Skip to content
GitLab
Menu
Projects
Groups
Snippets
Loading...
Help
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Contribute to GitLab
Sign in
Toggle navigation
Menu
Open sidebar
Why3
why3
Commits
eea7c833
Commit
eea7c833
authored
Dec 15, 2010
by
Jean-Christophe Filliâtre
Browse files
doc: syntax of operators
parent
a6798d63
Changes
1
Hide whitespace changes
Inline
Side-by-side
doc/operator.bnf
0 → 100644
View file @
eea7c833
\begin{syntax}
op-char-1 ::= "=" | "<" | ">" | "~" ;
\
op-char-2 ::= "+" | "-";
\
op-char-3 ::= "*" | "/" | "%" ;
\
op-char-4 ::= "!" | "$" | "&" | "?" | "@" | "^" | "." | ":" | "|" | "#" ;
\
op-char ::= op-char-1 | op-char-2 | op-char-3 | op-char-4 ;
\
infix-op ::= op-char+
\
prefix-op ::= infix-op | "!" op-char-4* | "?" op-char-4* ; %
\end{syntax}
\ No newline at end of file
Write
Preview
Markdown
is supported
0%
Try again
or
attach a new file
.
Attach a file
Cancel
You are about to add
0
people
to the discussion. Proceed with caution.
Finish editing this message first!
Cancel
Please
register
or
sign in
to comment