id	summary	reporter	owner	description	type	status	priority	milestone	component	version	resolution	keywords	cc
38	Need ifThenElse symbolic expression	Stephen Siegel	ywei	"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."	task	closed	critical		symbolic	1.0	fixed	if, then, else, condition, symbolic