Opened 16 years ago

Closed 16 years ago

#145 closed enhancement (fixed)

Add simplify method to SymUniverseIF

Reported by: Stephen Siegel Owned by: ywei
Priority: major Milestone:
Component: symbolic Version: 1.0
Keywords: simplify symbolic Cc:

Description

Need method in SymUniverseIF:

SymExpression simplify(SymExpression assumption, SymExpression expression);

Change History (2)

comment:1 by ywei, 16 years ago

Status: new → accepted

comment:2 by ywei, 16 years ago

Resolution: → fixed
Status: accepted → closed

Method added.

Note: See TracTickets for help on using tickets.