Abstract emulator for a range of implicit section space schema members. More...

#include <section_space_schema_crg_range.h>

Inheritance diagram for fiber_bundle::section_space_schema_crg_range:

SECTION_SPACE_SCHEMA_CRG_RANGE FACET
base_space_poset *	_base_space
	The base space for section spaces on this schema. More...

poset_state_handle *	_fiber_schema
	The fiber schema for section spaces on this schema. More...

	section_space_schema_crg_range ()
	Default constructor. More...

virtual	~section_space_schema_crg_range ()
	Destructor. More...

base_space_poset &	base_space ()
	The base space for section spaces on this schema (mutable version). More...

const base_space_poset &	base_space () const
	The base space for section spaces on this schema (const version). More...

bool	base_space_initialized () const
	True if the base space has been initialized. More...

poset_state_handle &	fiber_schema ()
	The fiber schema for section spaces on this schema (mutable version). More...

const poset_state_handle &	fiber_schema () const
	The fiber schema for section spaces on this schema (const version). More...

bool	fiber_schema_initialized () const
	True if the fiber schema has been initialized. More...

virtual bool	contains_member (pod_index_type xbase_space_id, pod_index_type xfiber_schema_id) const =0
	True if this range contains the member with base space id xbase_space_id and fiber schema id xfiber_schema_id. More...

virtual void	tuple (pod_index_type xindex, pod_index_type &xbase_space_id, pod_index_type &xfiber_schema_id) const =0
	The tuple conversion from section space schema id xindex to the base space id xbase_space_id and fiber schema id xfiber_schema_id. More...

virtual void	ordinal (pod_index_type xbase_space_id, pod_index_type xfiber_schema_id, pod_index_type &xindex) const =0
	The ordinal conversion from base space id xbase_space_id and fiber schema id xfiber_schema_id to section space schema id xindex. More...

void	initialize_base_space (base_space_poset &xbase_space)
	Sets the base space for section spaces on this schema to xbase_space. More...

void	initialize_fiber_schema (poset_state_handle &xfiber_schema)
	Sets the fiber schema for section spaces on this schema to xfiber_schema. More...

COVER SET FACET
virtual bool	implicit_cover_contains_iterator (bool xlower, pod_index_type xmbr_index, const cover_set_iterator &xitr) const
	True if and only if the lower (xlower true) or upper (xlower false) cover set of the member with index xmbr_index. is the domain of iterator xitr. More...

virtual bool	implicit_cover_is_singleton (bool xlower, pod_index_type xmbr_index) const
	True if and only if the lower (xlower true) or upper (xlower false) cover set contains exactly one member. More...

FACTORY FACET
virtual const std::string &	class_name () const
	The name of this class; provided to satisfy factory template. More...

ANY FACET
virtual bool	is_ancestor_of (const any *other) const
	Conformance test; true if other conforms to this. More...

virtual section_space_schema_crg_range *	clone () const
	Virtual constructor, makes a new instance of the same type as this. More...

virtual bool	invariant () const
	Class invariant. More...

Detailed Description

Abstract emulator for a range of implicit section space schema members.

Definition at line 47 of file section_space_schema_crg_range.h.

Constructor & Destructor Documentation

◆ section_space_schema_crg_range()

fiber_bundle::section_space_schema_crg_range::section_space_schema_crg_range ( )

Default constructor.

Postcondition

invariant()

Definition at line 32 of file section_space_schema_crg_range.cc.

References invariant(), and ~section_space_schema_crg_range().

◆ ~section_space_schema_crg_range()

fiber_bundle::section_space_schema_crg_range::~section_space_schema_crg_range ( )

virtual

Destructor.

Definition at line 50 of file section_space_schema_crg_range.cc.

References base_space().

Referenced by section_space_schema_crg_range().

Member Function Documentation

◆ base_space() [1/2]

fiber_bundle::base_space_poset & fiber_bundle::section_space_schema_crg_range::base_space ( )

The base space for section spaces on this schema (mutable version).

Precondition

base_space_initialized()

Postcondition

is_basic_query

Definition at line 65 of file section_space_schema_crg_range.cc.

References _base_space, and base_space_initialized().

Referenced by fiber_bundle::product_section_space_schema_crg_range::initialize_gathered_id_spaces(), fiber_bundle::product_section_space_schema_crg_range::update_gathered_id_spaces(), and ~section_space_schema_crg_range().

◆ base_space() [2/2]

const fiber_bundle::base_space_poset & fiber_bundle::section_space_schema_crg_range::base_space ( ) const

The base space for section spaces on this schema (const version).

Precondition

base_space_initialized()

Postcondition

is_basic_query

Definition at line 86 of file section_space_schema_crg_range.cc.

References _base_space, and base_space_initialized().

◆ base_space_initialized()

bool fiber_bundle::section_space_schema_crg_range::base_space_initialized ( ) const

True if the base space has been initialized.

Postcondition

is_basic_query

Definition at line 107 of file section_space_schema_crg_range.cc.

References _base_space, and fiber_schema().

Referenced by base_space(), initialize_base_space(), fiber_bundle::product_section_space_schema_crg_range::initialize_gathered_id_spaces(), fiber_bundle::product_section_space_schema_crg_range::initialize_product_structure(), and fiber_bundle::product_section_space_schema_crg_range::is_initialized().

◆ class_name()

const std::string & fiber_bundle::section_space_schema_crg_range::class_name ( ) const

virtual

The name of this class; provided to satisfy factory template.

Reimplemented in fiber_bundle::product_section_space_schema_crg_range, and fiber_bundle::section_space_schema_table_dof_crg_range.

Definition at line 372 of file section_space_schema_crg_range.cc.

References is_ancestor_of().

Referenced by implicit_cover_is_singleton().

◆ clone()

fiber_bundle::section_space_schema_crg_range * fiber_bundle::section_space_schema_crg_range::clone ( ) const

virtual

Virtual constructor, makes a new instance of the same type as this.

Is Abstract.

Postcondition

result != 0

is_same_type(result)

Reimplemented in fiber_bundle::product_section_space_schema_crg_range, and fiber_bundle::section_space_schema_table_dof_crg_range.

Definition at line 421 of file section_space_schema_crg_range.cc.

References invariant().

Referenced by is_ancestor_of().

◆ contains_member()

bool fiber_bundle::section_space_schema_crg_range::contains_member	(	pod_index_type	xbase_space_id,
		pod_index_type	xfiber_schema_id
	)		const

pure virtual

True if this range contains the member with base space id xbase_space_id and fiber schema id xfiber_schema_id.

Is Abstract.

Postcondition

is_basic_query

Implemented in fiber_bundle::product_section_space_schema_crg_range, and fiber_bundle::section_space_schema_table_dof_crg_range.

Definition at line 187 of file section_space_schema_crg_range.cc.

References tuple().

Referenced by fiber_schema_initialized(), implicit_cover_contains_iterator(), implicit_cover_is_singleton(), ordinal(), and tuple().

◆ fiber_schema() [1/2]

sheaf::poset_state_handle & fiber_bundle::section_space_schema_crg_range::fiber_schema ( )

The fiber schema for section spaces on this schema (mutable version).

Precondition

fiber_schema_initialized()

Postcondition

is_basic_query

Definition at line 126 of file section_space_schema_crg_range.cc.

References _fiber_schema, and fiber_schema_initialized().

Referenced by base_space_initialized(), fiber_bundle::product_section_space_schema_crg_range::initialize_gathered_id_spaces(), and fiber_bundle::product_section_space_schema_crg_range::update_gathered_id_spaces().

◆ fiber_schema() [2/2]

const sheaf::poset_state_handle & fiber_bundle::section_space_schema_crg_range::fiber_schema ( ) const

The fiber schema for section spaces on this schema (const version).

Precondition

fiber_schema_initialized()

Postcondition

is_basic_query

Definition at line 147 of file section_space_schema_crg_range.cc.

References _fiber_schema, and fiber_schema_initialized().

◆ fiber_schema_initialized()

bool fiber_bundle::section_space_schema_crg_range::fiber_schema_initialized ( ) const

True if the fiber schema has been initialized.

Postcondition

is_basic_query

Definition at line 168 of file section_space_schema_crg_range.cc.

References _fiber_schema, and contains_member().

Referenced by fiber_schema(), initialize_fiber_schema(), fiber_bundle::product_section_space_schema_crg_range::initialize_gathered_id_spaces(), fiber_bundle::product_section_space_schema_crg_range::initialize_product_structure(), and fiber_bundle::product_section_space_schema_crg_range::is_initialized().

◆ implicit_cover_contains_iterator()

bool fiber_bundle::section_space_schema_crg_range::implicit_cover_contains_iterator	(	bool	xlower,
		pod_index_type	xmbr_index,
		const cover_set_iterator &	xitr
	)		const

protectedvirtual

True if and only if the lower (xlower true) or upper (xlower false) cover set of the member with index xmbr_index. is the domain of iterator xitr.

Precondition

contains_member(xmbr_index)

Postcondition

is_basic_query

Definition at line 321 of file section_space_schema_crg_range.cc.

References contains_member(), and implicit_cover_is_singleton().

Referenced by initialize_fiber_schema().

◆ implicit_cover_is_singleton()

bool fiber_bundle::section_space_schema_crg_range::implicit_cover_is_singleton	(	bool	xlower,
		pod_index_type	xmbr_index
	)		const

protectedvirtual

True if and only if the lower (xlower true) or upper (xlower false) cover set contains exactly one member.

Precondition

contains_member(xmbr_index)

Postcondition

is_basic_query

Definition at line 342 of file section_space_schema_crg_range.cc.

References class_name(), and contains_member().

Referenced by implicit_cover_contains_iterator().

◆ initialize_base_space()

void fiber_bundle::section_space_schema_crg_range::initialize_base_space ( base_space_poset & xbase_space )

protected

Sets the base space for section spaces on this schema to xbase_space.

Precondition

!base_space_initialized()

Postcondition

base_space_initialized()

Definition at line 257 of file section_space_schema_crg_range.cc.

References _base_space, base_space_initialized(), and initialize_fiber_schema().

Referenced by fiber_bundle::section_space_schema_table_dof_crg_range::finalize(), fiber_bundle::product_section_space_schema_crg_range::finalize(), and ordinal().

◆ initialize_fiber_schema()

void fiber_bundle::section_space_schema_crg_range::initialize_fiber_schema ( poset_state_handle & xfiber_schema )

protected

Sets the fiber schema for section spaces on this schema to xfiber_schema.

Precondition

!fiber_schema_initialized()

Postcondition

fiber_schema_initialized()

Definition at line 278 of file section_space_schema_crg_range.cc.

References _fiber_schema, fiber_schema_initialized(), and implicit_cover_contains_iterator().

Referenced by fiber_bundle::section_space_schema_table_dof_crg_range::finalize(), fiber_bundle::product_section_space_schema_crg_range::finalize(), and initialize_base_space().

◆ invariant()

bool fiber_bundle::section_space_schema_crg_range::invariant ( ) const

virtual

Class invariant.

Invariant

implicit_crg_range::invariant()

Reimplemented in fiber_bundle::product_section_space_schema_crg_range, and fiber_bundle::section_space_schema_table_dof_crg_range.

Definition at line 443 of file section_space_schema_crg_range.cc.

Referenced by clone(), fiber_bundle::product_section_space_schema_crg_range::invariant(), and section_space_schema_crg_range().

◆ is_ancestor_of()

bool fiber_bundle::section_space_schema_crg_range::is_ancestor_of ( const any * other ) const

virtual

Conformance test; true if other conforms to this.

Precondition

other != 0

Reimplemented in fiber_bundle::product_section_space_schema_crg_range, and fiber_bundle::section_space_schema_table_dof_crg_range.

Definition at line 400 of file section_space_schema_crg_range.cc.

References clone().

Referenced by class_name().

◆ ordinal()

void fiber_bundle::section_space_schema_crg_range::ordinal	(	pod_index_type	xbase_space_id,
		pod_index_type	xfiber_schema_id,
		pod_index_type &	xindex
	)		const

pure virtual

The ordinal conversion from base space id xbase_space_id and fiber schema id xfiber_schema_id to section space schema id xindex.

Precondition

contains_member(xbase_space_id, xfiber_schema_id)

Is Abstract.

Postcondition

local_id_space().contains_hub(xindex)

Implemented in fiber_bundle::product_section_space_schema_crg_range, and fiber_bundle::section_space_schema_table_dof_crg_range.

Definition at line 232 of file section_space_schema_crg_range.cc.

References contains_member(), and initialize_base_space().

Referenced by tuple().

◆ tuple()

void fiber_bundle::section_space_schema_crg_range::tuple	(	pod_index_type	xindex,
		pod_index_type &	xbase_space_id,
		pod_index_type &	xfiber_schema_id
	)		const

pure virtual

The tuple conversion from section space schema id xindex to the base space id xbase_space_id and fiber schema id xfiber_schema_id.

Precondition

local_id_space().contains_hub(xindex)

Is Abstract.

Postcondition

contains_member(xbase_space_id, xfiber_schema_id)

Implemented in fiber_bundle::product_section_space_schema_crg_range, and fiber_bundle::section_space_schema_table_dof_crg_range.

Definition at line 209 of file section_space_schema_crg_range.cc.

References contains_member(), and ordinal().

Referenced by contains_member().

Member Data Documentation

◆ _base_space

base_space_poset* fiber_bundle::section_space_schema_crg_range::_base_space

protected

The base space for section spaces on this schema.

Definition at line 137 of file section_space_schema_crg_range.h.

Referenced by fiber_bundle::product_section_space_schema_crg_range::atoms(), base_space(), base_space_initialized(), fiber_bundle::product_section_space_schema_crg_range::implicit_cover_contains_member(), fiber_bundle::section_space_schema_table_dof_crg_range::implicit_cover_iterator(), fiber_bundle::product_section_space_schema_crg_range::implicit_cover_iterator(), fiber_bundle::section_space_schema_table_dof_crg_range::implicit_cover_size(), fiber_bundle::product_section_space_schema_crg_range::implicit_cover_size(), fiber_bundle::section_space_schema_table_dof_crg_range::implicit_first_cover_member(), fiber_bundle::product_section_space_schema_crg_range::implicit_first_cover_member(), initialize_base_space(), and fiber_bundle::product_section_space_schema_crg_range::is_jim().

◆ _fiber_schema

poset_state_handle* fiber_bundle::section_space_schema_crg_range::_fiber_schema

protected

The fiber schema for section spaces on this schema.

Definition at line 142 of file section_space_schema_crg_range.h.

Referenced by fiber_bundle::section_space_schema_table_dof_crg_range::atoms(), fiber_bundle::product_section_space_schema_crg_range::atoms(), fiber_bundle::section_space_schema_table_dof_crg_range::contains_member(), fiber_bundle::section_space_schema_table_dof_crg_range::dof_tuple_id(), fiber_bundle::product_section_space_schema_crg_range::dof_tuple_id(), fiber_schema(), fiber_schema_initialized(), fiber_bundle::product_section_space_schema_crg_range::implicit_cover_contains_member(), fiber_bundle::product_section_space_schema_crg_range::implicit_cover_iterator(), fiber_bundle::product_section_space_schema_crg_range::implicit_cover_size(), fiber_bundle::section_space_schema_table_dof_crg_range::implicit_first_cover_member(), fiber_bundle::product_section_space_schema_crg_range::implicit_first_cover_member(), initialize_fiber_schema(), fiber_bundle::product_section_space_schema_crg_range::is_jim(), fiber_bundle::section_space_schema_table_dof_crg_range::ordinal(), and fiber_bundle::section_space_schema_table_dof_crg_range::tuple().

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

SECTION_SPACE_SCHEMA_CRG_RANGE FACET

COVER SET FACET

FACTORY FACET

ANY FACET

Detailed Description

Constructor & Destructor Documentation

◆ section_space_schema_crg_range()

◆ ~section_space_schema_crg_range()

Member Function Documentation

◆ base_space() [1/2]

◆ base_space() [2/2]

◆ base_space_initialized()

◆ class_name()

◆ clone()

◆ contains_member()

◆ fiber_schema() [1/2]

◆ fiber_schema() [2/2]

◆ fiber_schema_initialized()

◆ implicit_cover_contains_iterator()

◆ implicit_cover_is_singleton()

◆ initialize_base_space()

◆ initialize_fiber_schema()

◆ invariant()

◆ is_ancestor_of()

◆ ordinal()

◆ tuple()

Member Data Documentation

◆ _base_space

◆ _fiber_schema