SheafSystem  0.0.0.0
Public Member Functions | List of all members
sheaf::poset_joiner Class Reference

Computes the join of given poset members. More...

#include <poset_joiner.h>

Public Member Functions

 poset_joiner (const poset_state_handle *xhost)
 Creates a joiner for poset xhost. More...
 
 ~poset_joiner ()
 Destructor; not virtual, can not be base class. More...
 
void join (const scoped_index *xexpansion, int xexpansion_ct, const tern &xgreatest, abstract_poset_member &xresult)
 The join of the members of xexpansion. More...
 
void join (subposet *xexpansion, const tern &xgreatest, abstract_poset_member &xresult)
 The join of the members of xexpansion. More...
 
poset_state_handle * host () const
 The host poset. More...
 

Detailed Description

Computes the join of given poset members.

Definition at line 43 of file poset_joiner.h.

Constructor & Destructor Documentation

◆ poset_joiner()

sheaf::poset_joiner::poset_joiner ( const poset_state_handle *  xhost)

Creates a joiner for poset xhost.

Precondition
  • xhost != 0
  • xhost->state_is_read_accessible()
Postcondition

Definition at line 1206 of file poset_joiner.cc.

References sheaf::read_write_monitor_handle::state_is_read_accessible(), and ~poset_joiner().

◆ ~poset_joiner()

sheaf::poset_joiner::~poset_joiner ( )

Destructor; not virtual, can not be base class.

Definition at line 1224 of file poset_joiner.cc.

References join().

Referenced by poset_joiner().

Member Function Documentation

◆ host()

sheaf::poset_state_handle * sheaf::poset_joiner::host ( ) const

The host poset.

Definition at line 1474 of file poset_joiner.cc.

Referenced by join().

◆ join() [1/2]

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

The join of the members of xexpansion.

Postcondition
  • -unexecutable( "result is join of xexpansion" )

Definition at line 1235 of file poset_joiner.cc.

References sheaf::DOWN, sheaf::NOT_STRICT, and sheaf::UP.

Referenced by sheaf::subposet::l_join_jims_pa(), sheaf::subposet::l_join_pa(), fields::body_pusher::push_pa(), and ~poset_joiner().

◆ join() [2/2]

void sheaf::poset_joiner::join ( subposet *  xexpansion,
const tern &  xgreatest,
abstract_poset_member &  xresult 
)

The join of the members of xexpansion.

Postcondition
  • -unexecutable( "result is join of xexpansion" )

Definition at line 1372 of file poset_joiner.cc.

References sheaf::DOWN, host(), sheaf::index_iterator::index(), sheaf::subposet::indexed_member_iterator(), sheaf::index_iterator::is_done(), sheaf::index_iterator::next(), sheaf::NOT_STRICT, and sheaf::UP.

The documentation for this class was generated from the following files: