GetVariablesSet()

std::set< MonomDRL::Integer > BIBasis::MonomDRL::GetVariablesSet ( ) const

inlinevirtual

Implements BIBasis::Monom.

Definition at line 588 of file monomDRL.hpp.

    {
        std::set<Integer> result;
        VarsListNode *iterator = ListHead;
        while (iterator)
        {
            result.insert(iterator->Value);
            iterator = iterator->Next;
        }
        return result;
    }

References GetVariablesSet(), BIBasis::Monom::ListHead, BIBasis::Monom::VarsListNode::Next, result(), and BIBasis::Monom::VarsListNode::Value.

Referenced by GetVariablesSet().