CAddress (SymbolicC Package Symbol)

CAddress[obj] is a symbolic representation of the address of an object.

CConditional (SymbolicC Package Symbol)

CConditional[test, trueArg, falseArg] is a symbolic representation of an inline conditional expression.

CConstant (SymbolicC Symbol)

CConstant[] is a symbolic representation of a constant.

CContinue (SymbolicC Symbol)

CContinue[] is a symbolic representation of a continue statement.

CDefault (SymbolicC Package Symbol)

CDefault[] is a symbolic representation of a default statement.

CDereference (SymbolicC Package Symbol)

CDereference[obj] is a symbolic representation of the dereferencing of a pointer.

CDo (SymbolicC Package Symbol)

CDo[body, test] is a symbolic representation of a do/while statement.

CEnum (SymbolicC Symbol)

CEnum[members] is a symbolic representation of an enum statement.

CFor (SymbolicC Package Symbol)

CFor[init, test, incr, body] is a symbolic representation of a for loop.

CGoto (SymbolicC Package Symbol)

CGoto[label] is a symbolic representation of a goto statement.