Function SymEngine::set_complement

Function Documentation

RCP<const Set> SymEngine::set_complement(const RCP<const Set> &universe, const RCP<const Set> &container)