src/propositionalLogic/constants

Search:
Group by:

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.
proc isParen(x: char): bool {....raises: [], tags: [], forbids: [].}
Proc isParen's wrapper for char.
proc isParen(x: string): bool {....raises: [], tags: [], forbids: [].}
Returns true is x is left paren or right paren, and false otherwise.