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 poset_bounds

#ifndef POSET_BOUNDS_H
#define POSET_BOUNDS_H

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

#ifndef ANY_H
#include "SheafSystem/any.h"
#endif

#ifndef POSET_BOUNDS_DESCRIPTOR_H
#include "SheafSystem/poset_bounds_descriptor.h"
#endif

#ifndef ZN_TO_BOOL_H
#include "SheafSystem/zn_to_bool.h"
#endif

namespace sheaf
{

class schema_poset_member;
class poset_state_handle;
class index_iterator;  

class SHEAF_DLL_SPEC poset_bounds : public any
{

public:

  // ===========================================================
  // ANY FACET
  // ===========================================================

  virtual poset_bounds* clone() const;

  virtual bool invariant() const;

  virtual bool is_ancestor_of(const any* other) const;

  // ===========================================================
  // POSET_BOUNDS FACET
  // ===========================================================


  poset_bounds();

  poset_bounds(const poset_bounds& xother);

  poset_bounds(const poset_bounds_descriptor& xdesc);

  virtual ~poset_bounds();

  virtual poset_bounds_descriptor descriptor() const;

  poset_bounds_descriptor::specification_mode mode() const;

  pod_index_type lb_id() const;

  void put_lb_id(pod_index_type xlb_id);

  void put_lb_id(const scoped_index& xlb_id);

  bool lb_is_singleton() const;

  bool bounded_below() const;

  pod_index_type ub_id() const;

  void put_ub_id(pod_index_type xub_id);

  void put_ub_id(const scoped_index& xub_id);

  bool ub_is_singleton() const;

  bool ub_is_decomposition() const;

  bool bounded_above() const;

protected:

  poset_bounds_descriptor _descriptor;

  zn_to_bool* _lb;

  bool _lb_is_singleton;

  bool _bounded_below;

  zn_to_bool* _ub;

  bool _ub_is_singleton;

  bool _bounded_above;
};

} // namespace sheaf

#endif // ifndef POSET_BOUNDS_H