int_set.h

//
// Copyright (c) 2014 Limit Point Systems, Inc.
//
// Licensed under the Apache License, Version 2.0 (the "License");
// you may not use this file except in compliance with the License.
// You may obtain a copy of the License at
//
//   http://www.apache.org/licenses/LICENSE-2.0
//
// Unless required by applicable law or agreed to in writing, software
// distributed under the License is distributed on an "AS IS" BASIS,
// WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
// See the License for the specific language governing permissions and
// limitations under the License.
//

// Interface for class int_set

#ifndef INT_SET_H
#define INT_SET_H

#ifndef SHEAF_DLL_SPEC_H
#include "SheafSystem/sheaf_dll_spec.h"
#endif

#ifndef STD_SET_H
#include "SheafSystem/std_set.h"
#endif

#ifndef STD_IOSTREAM_H
#include "SheafSystem/std_iostream.h"
#endif

#ifndef STD_ITERATOR_H
#include "SheafSystem/std_iterator.h"
#endif

namespace sheaf
{
  
class subposet;

class SHEAF_DLL_SPEC int_set : public std::set<int>
  {

public:

    int_set();

    int_set(const int_set& other);

    int_set(const int* xmbrs, int xct);

    ~int_set();

    inline void insert_member(int xmbr)
    {
      (void) insert(xmbr);
    } ;

    inline void remove_member(int xmbr)
    {
      (void) erase(xmbr);
    } ;

    void insert_members(const int* xmbrs, int xct);

    void insert_members(const subposet* xmbrs);

    

    inline bool contains(int xindex) const
    {
      return (find(xindex) != end());
    };

    

    inline bool contains_member(int xindex) const
    {
      return (find(xindex) != end());
    };

    bool is_singleton() const;

    bool set_includes(const int_set* other, bool this_is_much_larger = false) const;

    int_set* set_union(const int_set* other) const;

    void set_union_pa(const int_set* other, int_set* result) const;

    void set_union_sa(const int_set* other);

    int_set* set_intersection(const int_set* other) const;

    void set_intersection_pa(const int_set* other, int_set* result) const;

    void set_intersection_sa(const int_set* other);

    int_set* set_difference(const int_set* other) const;

    void set_difference_pa(const int_set* other, int_set* result) const;

    void set_difference_sa(int_set* other, bool this_is_much_larger = false);

    void print() const;
  };


// NON-MEMBER FUNCTIONS




SHEAF_DLL_SPEC
std::ostream& operator << (std::ostream& os, const int_set& c);

} // namespace sheaf

#endif // ifndef INT_SET_H