member_member_poset_bounds.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 member_member_poset_bounds

#ifndef MEMBER_MEMBER_POSET_BOUNDS_H
#define MEMBER_MEMBER_POSET_BOUNDS_H

#ifndef POSET_BOUNDS_H
#include "SheafSystem/poset_bounds.h"
#endif

class zn_to_bool;
namespace sheaf
{
  
class member_member_poset_bounds : public poset_bounds
{

public:

  // CANONICAL MEMBERS

  member_member_poset_bounds();

  member_member_poset_bounds(const member_member_poset_bounds& xother);

  virtual member_member_poset_bounds* clone() const;

  virtual ~member_member_poset_bounds();

  virtual bool invariant() const;

  virtual bool is_ancestor_of(const any* other) const;

  // POSET_BOUNDS FACET

  virtual bool lb_contains_member(const scoped_index& xindex);

  virtual index_iterator lb_iterator();

  virtual bool ub_contains_member(const scoped_index& xindex);

  virtual index_iterator ub_iterator();

  bool is_attached();

  virtual void attach_to_state(poset_state_handle* xhost);

  virtual void detach_from_state();

  virtual poset_bounds_descriptor descriptor();

  // MEMBER_MEMBER_POSET_BOUNDS FACET

  member_member_poset_bounds(int xlb_id, int xub_id);


protected:

private:

  zn_to_bool* _lb;

  zn_to_bool* _ub;

};
  
} // namespace sheaf



#endif // ifndef MEMBER_MEMBER_POSET_BOUNDS_H