Switch¶

fortran.spad line 1255 [edit on github]

This domain builds representations of boolean expressions for use with the FortranCode domain.

AND: (Union(I: Expression Integer, F: Expression Float, CF: Expression Complex Float, switch: %), Union(I: Expression Integer, F: Expression Float, CF: Expression Complex Float, switch: %)) -> %: AND(x, y) returns the Switch expression representing x and y.

coerce: % -> OutputForm: from CoercibleTo OutputForm

coerce: Symbol -> %: coerce(s) is undocumented.

EQ: (Union(I: Expression Integer, F: Expression Float, CF: Expression Complex Float, switch: %), Union(I: Expression Integer, F: Expression Float, CF: Expression Complex Float, switch: %)) -> %: EQ(x, y) returns the Switch expression representing x = y.

GE: (Union(I: Expression Integer, F: Expression Float, CF: Expression Complex Float, switch: %), Union(I: Expression Integer, F: Expression Float, CF: Expression Complex Float, switch: %)) -> %: GE(x, y) returns the Switch expression representing x>=y.

GT: (Union(I: Expression Integer, F: Expression Float, CF: Expression Complex Float, switch: %), Union(I: Expression Integer, F: Expression Float, CF: Expression Complex Float, switch: %)) -> %: GT(x, y) returns the Switch expression representing x>y.

LE: (Union(I: Expression Integer, F: Expression Float, CF: Expression Complex Float, switch: %), Union(I: Expression Integer, F: Expression Float, CF: Expression Complex Float, switch: %)) -> %: LE(x, y) returns the Switch expression representing x<=y.

LT: (Union(I: Expression Integer, F: Expression Float, CF: Expression Complex Float, switch: %), Union(I: Expression Integer, F: Expression Float, CF: Expression Complex Float, switch: %)) -> %: LT(x, y) returns the Switch expression representing x<y.

NOT: % -> %: NOT(x) returns the Switch expression representing \~~x.

NOT: Union(I: Expression Integer, F: Expression Float, CF: Expression Complex Float, switch: %) -> %: NOT(x) returns the Switch expression representing \~~x.

OR: (Union(I: Expression Integer, F: Expression Float, CF: Expression Complex Float, switch: %), Union(I: Expression Integer, F: Expression Float, CF: Expression Complex Float, switch: %)) -> %: OR(x, y) returns the Switch expression representing x or y.

CoercibleTo OutputForm