exprseq::exprseq(exvector * vp) : basic(TINFO_exprseq)
{
debugmsg("exprseq constructor from exvector *",LOGLEVEL_CONSTRUCT);
- ASSERT(vp!=0);
+ GINAC_ASSERT(vp!=0);
seq.swap(*vp);
delete vp;
}
bool exprseq::has(ex const & other) const
{
- ASSERT(other.bp!=0);
+ GINAC_ASSERT(other.bp!=0);
if (is_equal(*other.bp)) return true;
for (exvector::const_iterator it=seq.begin(); it!=seq.end(); ++it) {
if ((*it).has(other)) return true;
int exprseq::compare_same_type(basic const & other) const
{
- ASSERT(is_of_type(other,exprseq));
+ GINAC_ASSERT(is_of_type(other,exprseq));
exprseq const & o=static_cast<exprseq const &>
(const_cast<basic &>(other));
int cmpval;
bool exprseq::is_equal_same_type(basic const & other) const
{
- ASSERT(is_of_type(other,exprseq));
+ GINAC_ASSERT(is_of_type(other,exprseq));
exprseq const & o=static_cast<exprseq const &>
(const_cast<basic &>(other));
if (seq.size()!=o.seq.size()) return false;