Opened 17 years ago

Closed 17 years ago

#38 closed task (fixed)

Need ifThenElse symbolic expression

Reported by: Stephen Siegel Owned by: ywei
Priority: critical Milestone:
Component: symbolic Version: 1.0
Keywords: if, then, else, condition, symbolic Cc:

Description

I need symbolic universe to provide the following method:

SymExpression ifThenElseExpression(assumption, condition, trueValue, falseValue);

where the input types are all SymExpressions----assumption and condition are boolean-valued, the other two can have any types.

Change History (2)

comment:1 by ywei, 17 years ago

Status: newaccepted

comment:2 by ywei, 17 years ago

Resolution: fixed
Status: acceptedclosed

Expression added.

Note: See TracTickets for help on using tickets.