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

• host() == xhost

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:

• poset_joiner.h
• poset_joiner.cc