Template Function SplitEquation# Defined in File StmtDepAnal.h Function Documentation# template<class CoeffVec, class BoundVec, class BoundOp>bool SplitEquation(CoeffVec &cur, const SymbolicVal &cut, const BoundVec &bounds, BoundOp &boundop, CoeffVec &split)#