Consts
andSymbol = "&"
- String corresponds to logical connective AND.
impliesSymbol = "=>"
- String corresponds to logical connective IMPLIES.
leftParen = "("
- String corresponds to left paren.
notSymbol = "!"
- String corresponds to logical connective NOT.
orSymbol = "|"
- String corresponds to logical connective OR.
rightParen = ")"
- String corresponds to right paren.
Procs
proc isOperator(x: char): bool {....raises: [], tags: [], forbids: [].}
- Proc isOperator's wrapper for char.
proc isOperator(x: string): bool {....raises: [], tags: [], forbids: [].}
- Returns true is x is a string corresponds to one of the operators, and false otherwise.