poset_joiner.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_JOINER

#ifndef POSET_JOINER_H
#define POSET_JOINER_H

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

#ifndef POD_TYPES_H
#include "SheafSystem/pod_types.h"
#endif

namespace sheaf
{

class abstract_poset_member;
class tern;
class poset_state_handle;
class scoped_index;
class subposet;

class SHEAF_DLL_SPEC poset_joiner
{
public:

  poset_joiner(const poset_state_handle* xhost);

  ~poset_joiner();

  void join(const scoped_index* xexpansion,
        int xexpansion_ct,
        const tern& xgreatest,
        abstract_poset_member& xresult);

  void join(subposet* xexpansion,
        const tern& xgreatest,
        abstract_poset_member& xresult);

  poset_state_handle* host() const;

private:

  poset_state_handle* _host;
};
 

} // namespace sheaf

#endif // ifndef POSET_JOINER_H