Course:CPSC522/Conventions

Syntax Conventions

• Variables (e.g., random variables, decision variables, logic variables) should be in upper case, e.g., Happy.
• Values should be in lower case, eg "Size=large"
• Use lower case for assignments, e.g. "$Happy=true$" is written as "$happy$", and "$Happy=false$" is written as "$\neg happy$"