An abstract refiner for a field over a local region (primitive cell) in the base space. More...

#include <local_field_refiner.h>

Inheritance diagram for fields::local_field_refiner:

LOCAL_FIELD_REFINER FACET
const field_refinement_policy &	_policy
	The refinement policy. More...

block< scoped_index >	_point_dof_tuple_ids
	The dof tuple index for point cells at various depths. More...

block< scoped_index >	_zone_dof_tuple_ids
	The dof tuple index for quadrangle cells at various depths. More...

block< scoped_index >	_refined_zone_ids
	The member ids of the zones created by the most recent execution of refine(). More...

virtual	~local_field_refiner ()
	Destructor. More...

virtual int	db () const =0
	The base dimension; the dimension of the local coordinates (independent variable). More...

virtual const std::string &	zone_type_name () const =0
	The name of the type of zone this creates during refinement. More...

virtual const std::string &	vertex_type_name () const
	The name of the type of vertex this creates during refinement. More...

const field_refinement_policy &	policy () const
	The refinement policy for this refiner. More...

void	refine (field_refinement_buffer &xbuffer)
	Refines the zone specified by xbuffer.zone_id one level and evaluates the coordinates section on the refined zone. More...

virtual size_type	refined_zone_ct () const =0
	The number of refined zones created by this. More...

const block< scoped_index > &	refined_zone_ids () const
	The member ids of the zones created by the most recent execution of refine(). More...

virtual const chart_point_coord_type *	local_coordinates_map (size_type xi) const =0
	The affine map from the local coordinates of refined zone xi the the local coordinates of the parent zone. Specifically, u_parent[i] = result[i(db()+1) + j]u[j] + result[i*(db()+1) + db()]; sum convention on 0 <= j < db(). More...

	local_field_refiner ()
	Default constructor; disabled. More...

	local_field_refiner (const local_field_refiner &xother)
	Copy constructor. More...

	local_field_refiner (const field_refinement_policy &xpolicy)
	Creates an instance for refining xtarget using xsource as the reference field. More...

void	initialize_buffers ()
	Initializes the dof tuple and refined zone buffers. More...

virtual void	refine_base_space (field_refinement_buffer &xbuffer)=0
	Refines the base space or the target. More...

virtual void	refine_coordinates (field_refinement_buffer &xbuffer)=0
	Refines the coordinates section of the target. More...

pod_index_type	create_vertex (base_space_poset &xbase, int xdepth)
	Creates a new vertex at depth xdepth. More...

pod_index_type	create_zone (base_space_poset &xbase, int xdepth)
	Creates a new quadrangle in base space xbase, with refinement depth xdepth. More...

ANY FACET
virtual local_field_refiner *	clone () const =0
	Virtual constructor, makes a new instance of the same type as this. More...

virtual local_field_refiner &	operator= (const local_field_refiner &xother)
	Assignment operator. More...

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

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

Additional Inherited Members
Public Member Functions inherited from sheaf::any
bool	is_same_type (const any *other) const
	True if other is the same type as this. More...

virtual	~any ()
	Destructor. More...

bool	invariant_check () const
	True if invariant checking is enabled. More...

void	enable_invariant_check () const
	Enable invariant checking. More...

void	disable_invariant_check () const
	Disable invariant check. Intended for preventing recursive calls to invariant and for suppressing invariant checking during multi-phase initialization. More...

int	disable_invariance_check_request_depth () const
	Number of times disable_invariant_check has been called without matching call to enable_invariant_check. More...

Protected Member Functions inherited from sheaf::any
	any ()
	default constructor More...

Detailed Description

An abstract refiner for a field over a local region (primitive cell) in the base space.

Definition at line 58 of file local_field_refiner.h.

Constructor & Destructor Documentation

◆ ~local_field_refiner()

fields::local_field_refiner::~local_field_refiner ( )

virtual

Destructor.

Postcondition

invariant()

Definition at line 43 of file local_field_refiner.cc.

References db().

◆ local_field_refiner() [1/3]

fields::local_field_refiner::local_field_refiner ( )

protected

Default constructor; disabled.

Not Implemented.

Postcondition

invariant()

Definition at line 207 of file local_field_refiner.cc.

References initialize_buffers(), and invariant().

Referenced by local_coordinates_map(), and local_field_refiner().

◆ local_field_refiner() [2/3]

fields::local_field_refiner::local_field_refiner ( const local_field_refiner & xother )

protected

Copy constructor.

Postcondition

invariant()

Definition at line 226 of file local_field_refiner.cc.

References invariant(), and local_field_refiner().

◆ local_field_refiner() [3/3]

fields::local_field_refiner::local_field_refiner ( const field_refinement_policy & xpolicy )

protected

Creates an instance for refining xtarget using xsource as the reference field.

Postcondition

invariant()

&policy() == &xpolicy

Definition at line 244 of file local_field_refiner.cc.

References initialize_buffers(), invariant(), and policy().

Member Function Documentation

◆ clone()

fields::local_field_refiner * fields::local_field_refiner::clone ( ) const

pure virtual

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

Is Abstract.

Postcondition

result != 0

is_same_type(result)

Reimplemented from sheaf::any.

Implemented in fields::edge_centered_polygon_refiner, fields::zone_centered_triangle_refiner, fields::zone_centered_tet_refiner, fields::zone_centered_segment_refiner, fields::edge_centered_triangle_refiner, fields::barycentric_triangle_refiner, and fields::barycentric_quad_refiner.

Definition at line 391 of file local_field_refiner.cc.

References sheaf::any::is_same_type(), and operator=().

Referenced by create_zone(), and fields::field_refiner_family::field_refiner_family().

◆ create_vertex()

sheaf::pod_index_type fields::local_field_refiner::create_vertex	(	base_space_poset &	xbase,
		int	xdepth
	)

protected

Creates a new vertex at depth xdepth.

Precondition

xbase.in_jim_edit_mode()

xdepth >= 0

Postcondition

xbase.contains_member(result)

xbase.type_name(result) == "point"

xbase.refinement_depth(result) == xdepth

-unexecutable( xbase.contains_cover_link(result, BOTTOM_INDEX) )

Definition at line 298 of file local_field_refiner.cc.

References _point_dof_tuple_ids, sheaf::poset_state_handle::contains_member(), create_zone(), sheaf::auto_block< T, S >::force_item(), sheaf::scoped_index::hub_pod(), sheaf::poset_state_handle::in_jim_edit_mode(), sheaf::scoped_index::is_valid(), sheaf::poset_state_handle::new_link(), fiber_bundle::base_space_poset::new_member(), fiber_bundle::base_space_poset::prototype_dof_tuple_id(), fiber_bundle::base_space_poset::refinement_depth(), fiber_bundle::base_space_poset::type_name(), sheaf::auto_block< T, S >::ub(), and vertex_type_name().

Referenced by fields::edge_centered_polygon_refiner::create_edge_center(), initialize_buffers(), fields::edge_centered_polygon_refiner::make_new_vertices(), fields::zone_centered_tet_refiner::modify_crg(), fields::zone_centered_segment_refiner::modify_crg(), and fields::zone_centered_triangle_refiner::modify_crg().

◆ create_zone()

sheaf::pod_index_type fields::local_field_refiner::create_zone	(	base_space_poset &	xbase,
		int	xdepth
	)

protected

Creates a new quadrangle in base space xbase, with refinement depth xdepth.

Precondition

xbase.in_jim_edit_mode()

Postcondition

xbase.contains_member(result)

Definition at line 346 of file local_field_refiner.cc.

References _zone_dof_tuple_ids, clone(), sheaf::poset_state_handle::contains_member(), sheaf::auto_block< T, S >::force_item(), sheaf::poset_state_handle::in_jim_edit_mode(), fiber_bundle::base_space_poset::new_member(), fiber_bundle::base_space_poset::prototype_dof_tuple_id(), sheaf::auto_block< T, S >::ub(), and zone_type_name().

Referenced by create_vertex(), fields::edge_centered_polygon_refiner::make_new_zones(), fields::edge_centered_triangle_refiner::modify_crg(), fields::zone_centered_tet_refiner::modify_crg(), fields::zone_centered_segment_refiner::modify_crg(), and fields::zone_centered_triangle_refiner::modify_crg().

◆ db()

int fields::local_field_refiner::db ( ) const

pure virtual

The base dimension; the dimension of the local coordinates (independent variable).

Is Abstract.

Postcondition

result >= -1

Implemented in fields::edge_centered_polygon_refiner, fields::zone_centered_triangle_refiner, fields::zone_centered_tet_refiner, and fields::zone_centered_segment_refiner.

Definition at line 58 of file local_field_refiner.cc.

References zone_type_name().

Referenced by ~local_field_refiner().

◆ initialize_buffers()

void fields::local_field_refiner::initialize_buffers ( )

protected

Initializes the dof tuple and refined zone buffers.

Definition at line 263 of file local_field_refiner.cc.

References _point_dof_tuple_ids, _refined_zone_ids, _zone_dof_tuple_ids, sheaf::auto_block< T, S >::assign(), create_vertex(), sheaf::scoped_index::INVALID(), sheaf::auto_block< T, S >::reserve(), sheaf::auto_block< T, S >::set_ct(), and sheaf::auto_block< T, S >::ub().

Referenced by local_field_refiner().

◆ invariant()

bool fields::local_field_refiner::invariant ( ) const

virtual

Class invariant.

Reimplemented from sheaf::any.

Reimplemented in fields::edge_centered_polygon_refiner, fields::zone_centered_triangle_refiner, fields::zone_centered_tet_refiner, fields::zone_centered_segment_refiner, fields::edge_centered_triangle_refiner, fields::barycentric_triangle_refiner, and fields::barycentric_quad_refiner.

Definition at line 434 of file local_field_refiner.cc.

References sheaf::any::disable_invariant_check(), sheaf::any::enable_invariant_check(), sheaf::any::invariant(), sheaf::any::invariant_check(), and is_ancestor_of().

Referenced by fields::edge_centered_triangle_refiner::invariant(), fields::zone_centered_segment_refiner::invariant(), fields::zone_centered_tet_refiner::invariant(), fields::zone_centered_triangle_refiner::invariant(), fields::edge_centered_polygon_refiner::invariant(), local_field_refiner(), and operator=().

◆ is_ancestor_of()

bool fields::local_field_refiner::is_ancestor_of ( const any * other ) const

virtual

Conformance test; true if other conforms to this.

Precondition

xother != 0

Reimplemented from sheaf::any.

Reimplemented in fields::edge_centered_polygon_refiner, fields::zone_centered_triangle_refiner, fields::zone_centered_tet_refiner, fields::zone_centered_segment_refiner, fields::edge_centered_triangle_refiner, fields::barycentric_triangle_refiner, and fields::barycentric_quad_refiner.

Definition at line 464 of file local_field_refiner.cc.

Referenced by invariant(), and operator=().

◆ local_coordinates_map()

const fiber_bundle::chart_point_coord_type * fields::local_field_refiner::local_coordinates_map ( size_type xi ) const

pure virtual

The affine map from the local coordinates of refined zone xi the the local coordinates of the parent zone. Specifically, u_parent[i] = result[i*(db()+1) + j]*u[j] + result[i*(db()+1) + db()]; sum convention on 0 <= j < db().

Precondition