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.

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.

coerce : Symbol -> %

coerce(s) is undocumented

coerce : % -> OutputForm

from CoercibleTo(OutputForm)

CoercibleTo(OutputForm)