String macros

Macros for string expressions and operators. More...

Macros
#define	AND   "&"
#define	OR   "|"
#define	NOT   "!"
#define	XOR   "^"
#define	IMPLIES   "->"
#define	IFF   "<=>"
#define	OPEN   "("
#define	CLOSE   ")"
#define	TRUE   "T"
#define	FALSE   "F"

Detailed Description

Macros for string expressions and operators.

Macro Definition Documentation

AND

#define AND   "&"

Definition at line 21 of file expression.h.

CLOSE

#define CLOSE   ")"

Definition at line 28 of file expression.h.

FALSE

#define FALSE   "F"

Definition at line 30 of file expression.h.

IFF

#define IFF   "<=>"

Definition at line 26 of file expression.h.

IMPLIES

#define IMPLIES   "->"

Definition at line 25 of file expression.h.

NOT

#define NOT   "!"

Definition at line 23 of file expression.h.

OPEN

#define OPEN   "("

Definition at line 27 of file expression.h.

OR

#define OR   "|"

Definition at line 22 of file expression.h.

TRUE

#define TRUE   "T"

Definition at line 29 of file expression.h.

XOR

#define XOR   "^"

Definition at line 24 of file expression.h.