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