Method OneArraySet

test/ldsb.cpp:173–174

Constructor for creation

    SetVarArray xs;
    /// Constructor for creation
    OneArraySet(int n, int l, int u) : xs(*this,n, IntSet::empty, l,u) {
    }
    /// Constructor for cloning \a s
    OneArraySet(OneArraySet& s) : Space(s) {
      xs.update(*this,s.xs);