Function sequant::opt::has_only_single_atom

Function Documentation

bool sequant::opt::has_only_single_atom(const ExprPtr &term)