Function IsOne# Defined in File SymbolicExpr.h Function Documentation# inline bool IsOne(const SymbolicTerm &t)#