An section evaluator with a constant value over an abstract domain. More...

#include <constant_fcn_space.h>

Inheritance diagram for fiber_bundle::constant_fcn_space:

CONSTANT_FCN_SPACE FACET
	constant_fcn_space ()
	Default constructor. More...

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

LINEAR_FCN_SPACE FACET
enum	static_const_int { DL = 1 }
	The dimension of this function space; static const version. More...

value_type	_basis_value_buffer [DL]
	Storage for the result of the preceeding call to basis_at_coord. More...

virtual int	dl () const
	The dimension of this function space. More...

virtual void	basis_at_coord (const dof_type xlocal_coord[], size_type xlocal_coord_ub)
	Computes the value of each basis function at local coordinates xlocal_coord. More...

virtual void	basis_derivs_at_coord (const dof_type xlocal_coords[], size_type xlocal_coords_ub)
	Computes the value of the derivatives of each basis function at local coordinates xlocal_coords. More...

INTEGRABLE_SECTION_EVALUATOR FACET
virtual void	integrate (const dof_type xcoord_dofs[], size_type xcoord_dofs_ub, size_type xdf, const dof_type xintegrands[], size_type xintegrands_ub, value_type xresult_integrals[], size_type xresult_integrals_ub)
	Computes the value of the integral of the integrand array... More...

virtual void	gauss_point (pod_index_type xindex, coord_type xresult[], size_type xresult_ub)
	The local coordinates of the gauss point with index xindex. More...

DIFFERENTIABLE_SECTION_EVALUATOR FACET
virtual void	dxi_local (size_type xlocal_coord_index, const dof_type xsource_dofs[], size_type xsource_dofs_ub, dof_type xresult_dofs[], size_type xresult_dofs_ub) const
	First partial derivative of this with respect to local coordinate xlocal_coord_index. More...

virtual void	jacobian (const dof_type xcoord_dofs[], size_type xcoord_dofs_ub, size_type xdf, const dof_type xlocal_coords[], size_type xlocal_coords_ub)
	Computes the the jacobian matrix at local coordinates xlocal_coords with coordinate dofs xcoord_dofs. More...

virtual value_type	jacobian_determinant (const dof_type xcoord_dofs[], size_type xcoord_dofs_ub, size_type xdf, const coord_type xlocal_coords[], size_type xlocal_coords_ub)
	Computes the the determinant of the jacobian matrix at local coordinates xlocal_coords with coordinate dofs xcoord_dofs. More...

EVALUATION FACET
virtual void	value_at_coord (const dof_type xdofs[], size_type xdofs_ub, const dof_type xlocal_coords[], size_type xlocal_coords_ub, dof_type xresult[], size_type xresult_ub) const
	Computes the value of the function at local coordinates xlocal_coords using the degrees of freedom xdofs. More...

virtual void	coord_at_value (const dof_type xdofs[], size_type xdofs_ub, const dof_type xglobal_coords[], size_type xglobal_coord_ub, dof_type xlocal_coords[], size_type xlocal_coords_ub) const
	The local coordinates of a point at which the field has the value xvalue. More...

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

virtual constant_fcn_space &	operator= (const section_evaluator &xother)
	Assignment operator. More...

constant_fcn_space &	operator= (const constant_fcn_space &xother)
	Assignment operator. More...

virtual	~constant_fcn_space ()
	Destructor. More...

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

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

Additional Inherited Members
Public Types inherited from fiber_bundle::section_evaluator
typedef chart_point_coord_type	coord_type
	The type of local coordinate; the scalar type for the local coordinate vector space. More...

typedef vd_value_type	value_type
	The type of component in the value; the scalar type in the range vector space. More...

typedef sec_vd_dof_type	dof_type
	The type of degree of freedom. More...

Public Member Functions inherited from fiber_bundle::linear_fcn_space
	linear_fcn_space (const linear_fcn_space &xother)
	Copy constructor. More...

virtual	~linear_fcn_space ()
	Destructor. More...

const value_type *	basis_values () const
	The result of the preceding call to basis_at_coord. More...

const value_type *	basis_deriv_values () const
	The result of the preceding call to basis_derivs_at_coord. More...

virtual size_type	dof_ct () const
	The number of dofs required for each component of the dependent variable. More...

linear_fcn_space &	operator= (const linear_fcn_space &xother)
	Assignment operator. More...

Public Member Functions inherited from fiber_bundle::integrable_section_evaluator
	integrable_section_evaluator (const integrable_section_evaluator &xother)
	Copy constructor. More...

virtual	~integrable_section_evaluator ()
	Destructor. More...

virtual value_type	volume (const dof_type xcoord_dofs[], size_type xcoord_dofs_ub, size_type xdf)=0
	Volume for specified coordinate dofs xcoord_dofs and fiber space dimension xdf. More...

virtual void	integrate (const dof_type xcoord_dofs[], size_type xcoord_dofs_ub, size_type xdf, const dof_type xintegrand, value_type xresult_integrals[], size_type xresult_integrals_ub)
	Computes the value of the integral of the integrand... More...

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

Public Member Functions inherited from fiber_bundle::differentiable_section_evaluator
	differentiable_section_evaluator (const differentiable_section_evaluator &xother)
	Copy constructor. More...

virtual	~differentiable_section_evaluator ()
	Destructor. More...

void	dxi_local (size_type xlocal_coord_index, const block< dof_type > &xsource_dofs, block< dof_type > &xresult_dofs) const
	First partial derivative of this with respect to local coordinate xlocal_coord_index. More...

const value_type *	jacobian_values () const
	The result of the preceding call to jacobian. More...

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

Public Member Functions inherited from fiber_bundle::section_evaluator
	section_evaluator (const section_evaluator &xother)
	Copy constructor. More...

virtual	~section_evaluator ()
	Destructor. More...

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

virtual void	local_coordinates (pod_index_type xindex, coord_type xresult[], size_type xresult_ub) const =0
	The local coordinates of the dof with local index xindex. More...

void	local_coordinates (pod_index_type xindex, block< coord_type > &xresult) const
	The local coordinates of the dof with local index xindex. More...

virtual void	center (coord_type xresult[], size_type xresult_ub) const
	The local coordinates at the center of the evaluator. More...

void	center (block< coord_type > &xresult) const
	The local coordinates at the center of the evaluator. More...

virtual bool	in_standard_domain (const dof_type xlocal_coords[], size_type xlocal_coords_ub) const =0
	True if the specified local coordinates are in the "standard" domain. More...

bool	in_standard_domain (const block< dof_type > &xlocal_coords) const
	True if the specified local coordinates are in the "standard" domain. More...

bool	df_is_variable () const
	True if and only if the fiber dimension (number of components of the dependent variable) is variable. More...

virtual int	df () const
	The fiber dimension (number of components of dependent variable). More...

virtual dof_type	value_at_coord (const dof_type xdofs[], size_type xdofs_ub, const dof_type xlocal_coords[], size_type xlocal_coords_ub) const
	Value at a specified local_coordinate. Single component version. More...

dof_type	value_at_coord (const block< dof_type > &xdofs, const block< dof_type > &xlocal_coords) const
	Value at a specified local_coordinate. Single component version. More...

void	value_at_coord (const block< dof_type > &xdofs, const block< dof_type > &xlocal_coords, block< dof_type > &xresult) const
	Values at a specified local_coordinate. Multiple component version. More...

void	coord_at_value (const block< dof_type > &xdofs, const block< dof_type > &xvalue, block< dof_type > &xlocal_coords) const
	The local coordinates of a point at which the field has the value xvalue. The dofs are assumed to be interleaved. More...

virtual dof_type	min (const dof_type xdofs[], size_type xdofs_ub) const
	The minimum value of the scalar or component section defined by xdofs. More...

dof_type	min (const block< dof_type > &xdofs) const
	The minimum value of the scalar or component section defined by xdofs. More...

virtual void	min (const dof_type xdofs[], size_type xdofs_ub, dof_type xresult[], size_type xresult_ub) const
	The minimum value of the vector section defined by xdofs. More...

void	min (const block< dof_type > &xdofs, block< dof_type > &xresult) const
	The minimum value of the vector section defined by xdofs. More...

virtual dof_type	max (const dof_type xdofs[], size_type xdofs_ub) const
	The maximum value of the scalar or component section defined by xdofs. More...

dof_type	max (const block< dof_type > &xdofs) const
	The maximum value of the scalar or component section defined by xdofs. More...

virtual void	max (const dof_type xdofs[], size_type xdofs_ub, dof_type xresult[], size_type xresult_ub) const
	The maximum value of the vector section defined by xdofs. More...

void	max (const block< dof_type > &xdofs, block< dof_type > &xresult) const
	The maximum value of the vector section defined by xdofs. More...

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 fiber_bundle::linear_fcn_space
	linear_fcn_space ()
	Default constructor. More...

Protected Member Functions inherited from fiber_bundle::integrable_section_evaluator
	integrable_section_evaluator ()
	Default constructor. More...

Protected Member Functions inherited from fiber_bundle::differentiable_section_evaluator
	differentiable_section_evaluator ()
	Default constructor. More...

Protected Member Functions inherited from fiber_bundle::section_evaluator
	section_evaluator ()
	Default constructor. More...

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

Protected Attributes inherited from fiber_bundle::linear_fcn_space
value_type *	_basis_values
	The result of the preceding call to basis_at_coord. More...

value_type *	_basis_deriv_values
	The result of the preceding call to basis_derivs_at_coord. More...

Protected Attributes inherited from fiber_bundle::differentiable_section_evaluator
value_type *	_jacobian_values
	The result of the preceding call to "jacobian". More...

Detailed Description

An section evaluator with a constant value over an abstract domain.

Definition at line 37 of file constant_fcn_space.h.

Member Enumeration Documentation

◆ static_const_int

enum fiber_bundle::constant_fcn_space::static_const_int

protected

The dimension of this function space; static const version.

Hack:: Inline initialization of static const integral data members causes link error in MSC++; use enum instead.

Definition at line 94 of file constant_fcn_space.h.

Constructor & Destructor Documentation

◆ constant_fcn_space() [1/2]

fiber_bundle::constant_fcn_space::constant_fcn_space ( )

Default constructor.

Postcondition

invariant()

Definition at line 34 of file constant_fcn_space.cc.

◆ constant_fcn_space() [2/2]

fiber_bundle::constant_fcn_space::constant_fcn_space ( const constant_fcn_space & xother )

Copy constructor.

Postcondition

invariant()

Definition at line 52 of file constant_fcn_space.cc.

References dl().

◆ ~constant_fcn_space()

fiber_bundle::constant_fcn_space::~constant_fcn_space ( )

virtual

Destructor.

Postcondition

invariant()

Definition at line 484 of file constant_fcn_space.cc.

References invariant().

Referenced by operator=().

Member Function Documentation

◆ basis_at_coord()

void fiber_bundle::constant_fcn_space::basis_at_coord	(	const dof_type	xlocal_coord[],
		size_type	xlocal_coord_ub
	)

virtual

Computes the value of each basis function at local coordinates xlocal_coord.

Precondition

xlocal_coord != 0

xlocal_coord_ub >= db()

Postcondition

invariant()

Implements fiber_bundle::linear_fcn_space.

Definition at line 98 of file constant_fcn_space.cc.

References basis_derivs_at_coord().

Referenced by dl().

◆ basis_derivs_at_coord()

void fiber_bundle::constant_fcn_space::basis_derivs_at_coord	(	const dof_type	xlocal_coords[],
		size_type	xlocal_coords_ub
	)

virtual

Computes the value of the derivatives of each basis function at local coordinates xlocal_coords.

Precondition

xlocal_coords != 0

xlocal_coords_ub >= db()

Hack:: For point, db = 0 and there really aren't any derivatives, but we don't gaurd against that exceptional case, so just set db = 1 here; see also constant_point.h

Postcondition

invariant()

Implements fiber_bundle::linear_fcn_space.

Definition at line 119 of file constant_fcn_space.cc.

References integrate().

Referenced by basis_at_coord().

◆ clone()

fiber_bundle::constant_fcn_space * fiber_bundle::constant_fcn_space::clone ( ) const

pure virtual

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

Is Abstract.

Postcondition

result != 0

result->invariant()

is_same_type(result)

Implements fiber_bundle::linear_fcn_space.

Implemented in fiber_bundle::constant_tet, fiber_bundle::constant_hex, fiber_bundle::constant_quad, fiber_bundle::constant_point, fiber_bundle::constant_triangle, and fiber_bundle::constant_segment.

Definition at line 419 of file constant_fcn_space.cc.

References invariant(), and operator=().

Referenced by coord_at_value().

◆ coord_at_value()

void fiber_bundle::constant_fcn_space::coord_at_value	(	const dof_type	xdofs[],
		size_type	xdofs_ub,
		const dof_type	xglobal_coords[],
		size_type	xglobal_coord_ub,
		dof_type	xlocal_coords[],
		size_type	xlocal_coords_ub
	)		const

virtual

The local coordinates of a point at which the field has the value xvalue.

Precondition

xdofs != 0

xdofs_ub >= dl()*db()

xglobal_coords != 0

xglobal_coord_ub >= db()

xlocal_coords != 0

xlocal_coords_ub >= db()

Postcondition

invariant()

Implements fiber_bundle::section_evaluator.

Definition at line 378 of file constant_fcn_space.cc.

References clone().

Referenced by value_at_coord().

◆ dl()

int fiber_bundle::constant_fcn_space::dl ( ) const

virtual

The dimension of this function space.

Postcondition

result == 1

Implements fiber_bundle::linear_fcn_space.

Definition at line 76 of file constant_fcn_space.cc.

References basis_at_coord().

Referenced by constant_fcn_space().

◆ dxi_local()

void fiber_bundle::constant_fcn_space::dxi_local	(	size_type	xlocal_coord_index,
		const dof_type	xsource_dofs[],
		size_type	xsource_dofs_ub,
		dof_type	xresult_dofs[],
		size_type	xresult_dofs_ub
	)		const

virtual

First partial derivative of this with respect to local coordinate xlocal_coord_index.

Precondition

xlocal_coord_index < db()

xsource_dofs != 0

xsource_dofs_ub >= dl()

(xsource_dofs_ub % dl()) == 0

xresult_dofs != 0

xresult_dofs_ub >= xsource_dofs_ub

Implements fiber_bundle::differentiable_section_evaluator.

Definition at line 237 of file constant_fcn_space.cc.

References jacobian().

Referenced by gauss_point().

◆ gauss_point()

void fiber_bundle::constant_fcn_space::gauss_point	(	pod_index_type	xindex,
		coord_type	xresult[],
		size_type	xresult_ub
	)

virtual

The local coordinates of the gauss point with index xindex.

Precondition

(0 <= xindex) && (xindex < dof_ct())

xresult_ub >= db()

Postcondition

in_standard_domain(xresult, xresult_ub)

invariant()

Implements fiber_bundle::integrable_section_evaluator.

Definition at line 203 of file constant_fcn_space.cc.

References dxi_local().

Referenced by integrate().

◆ integrate()

void fiber_bundle::constant_fcn_space::integrate	(	const dof_type	xcoord_dofs[],
		size_type	xcoord_dofs_ub,
		size_type	xdf,
		const dof_type	xintegrands[],
		size_type	xintegrands_ub,
		value_type	xresult_integrals[],
		size_type	xresult_integrals_ub
	)

virtual

Computes the value of the integral of the integrand array...

Todo:: Get these correct.

Precondition

xcoord_dofs != 0

xcoord_dofs_ub >= 0

xintegrands != 0

xintegrands_ub >= 0

xresult_integrals != 0

xresult_integrals_ub > 0

Postcondition

invariant()

Implements fiber_bundle::integrable_section_evaluator.

Definition at line 163 of file constant_fcn_space.cc.

References gauss_point().

Referenced by basis_derivs_at_coord().

◆ invariant()

bool fiber_bundle::constant_fcn_space::invariant ( ) const

virtual

Class invariant.

Invariant

basis_values() != 0

Reimplemented from fiber_bundle::linear_fcn_space.

Reimplemented in fiber_bundle::constant_tet, fiber_bundle::constant_point, fiber_bundle::constant_triangle, fiber_bundle::constant_hex, fiber_bundle::constant_quad, and fiber_bundle::constant_segment.

Definition at line 501 of file constant_fcn_space.cc.

References fiber_bundle::linear_fcn_space::invariant(), and is_ancestor_of().

Referenced by clone(), fiber_bundle::constant_quad::invariant(), fiber_bundle::constant_segment::invariant(), fiber_bundle::constant_hex::invariant(), fiber_bundle::constant_triangle::invariant(), fiber_bundle::constant_point::invariant(), fiber_bundle::constant_tet::invariant(), and ~constant_fcn_space().

◆ is_ancestor_of()

bool fiber_bundle::constant_fcn_space::is_ancestor_of ( const any * xother ) const

virtual

Conformance test; true if other conforms to this.

Precondition

xother != 0

Reimplemented from fiber_bundle::linear_fcn_space.

Reimplemented in fiber_bundle::constant_tet, fiber_bundle::constant_point, fiber_bundle::constant_triangle, fiber_bundle::constant_hex, fiber_bundle::constant_quad, and fiber_bundle::constant_segment.

Definition at line 534 of file constant_fcn_space.cc.

Referenced by invariant().

◆ jacobian()

void fiber_bundle::constant_fcn_space::jacobian	(	const dof_type	xcoord_dofs[],
		size_type	xcoord_dofs_ub,
		size_type	xdf,
		const dof_type	xlocal_coords[],
		size_type	xlocal_coords_ub
	)

virtual

Computes the the jacobian matrix at local coordinates xlocal_coords with coordinate dofs xcoord_dofs.

Precondition

xcoord_dofs != 0

xcoord_dofs_ub >= 0

xlocal_coords != 0

xlocal_coords_ub >= db()

jacobian_values() != 0

Postcondition

invariant()

Reimplemented from fiber_bundle::differentiable_section_evaluator.

Definition at line 271 of file constant_fcn_space.cc.

References jacobian_determinant().

Referenced by dxi_local().

◆ jacobian_determinant()

fiber_bundle::constant_fcn_space::value_type fiber_bundle::constant_fcn_space::jacobian_determinant	(	const dof_type	xcoord_dofs[],
		size_type	xcoord_dofs_ub,
		size_type	xdf,
		const coord_type	xlocal_coords[],
		size_type	xlocal_coords_ub
	)

virtual

Computes the the determinant of the jacobian matrix at local coordinates xlocal_coords with coordinate dofs xcoord_dofs.

Precondition

xcoord_dofs != 0

xcoord_dofs_ub >= 0

xlocal_coords != 0

xlocal_coords_ub >= db()

jacobian_values() != 0

Postcondition

invariant()

Reimplemented from fiber_bundle::differentiable_section_evaluator.

Definition at line 305 of file constant_fcn_space.cc.

References value_at_coord().

Referenced by jacobian().

◆ operator=() [1/2]

fiber_bundle::constant_fcn_space & fiber_bundle::constant_fcn_space::operator= ( const section_evaluator & xother )

virtual

Assignment operator.

Precondition

is_ancestor_of(&xother)

Postcondition

invariant()

Reimplemented from fiber_bundle::linear_fcn_space.

Reimplemented in fiber_bundle::constant_tet, fiber_bundle::constant_hex, fiber_bundle::constant_quad, fiber_bundle::constant_point, fiber_bundle::constant_triangle, and fiber_bundle::constant_segment.

Definition at line 443 of file constant_fcn_space.cc.

Referenced by clone().

◆ operator=() [2/2]

fiber_bundle::constant_fcn_space & fiber_bundle::constant_fcn_space::operator= ( const constant_fcn_space & xother )

Assignment operator.

Precondition

is_ancestor_of(&xother)

Not Implemented.

Postcondition

invariant()

Definition at line 461 of file constant_fcn_space.cc.

References ~constant_fcn_space().

◆ value_at_coord()

void fiber_bundle::constant_fcn_space::value_at_coord	(	const dof_type	xdofs[],
		size_type	xdofs_ub,
		const dof_type	xlocal_coords[],
		size_type	xlocal_coords_ub,
		dof_type	xresult[],
		size_type	xresult_ub
	)		const

virtual

Computes the value of the function at local coordinates xlocal_coords using the degrees of freedom xdofs.

Precondition

xdofs != 0

xdofs_ub >= dl()*xresult_ub

-unexecutable( xdofs must be interleaved )

xlocal_coords != 0

xlocal_coords_ub >= db()

xresult != 0

xresult_ub > 0

basis_values() != 0

Postcondition

invariant()

Reimplemented from fiber_bundle::linear_fcn_space.

Definition at line 343 of file constant_fcn_space.cc.

References coord_at_value().

Referenced by jacobian_determinant().

Member Data Documentation

◆ _basis_value_buffer

value_type fiber_bundle::constant_fcn_space::_basis_value_buffer[DL]

protected

Storage for the result of the preceeding call to basis_at_coord.

Definition at line 99 of file constant_fcn_space.h.

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

CONSTANT_FCN_SPACE FACET

LINEAR_FCN_SPACE FACET

INTEGRABLE_SECTION_EVALUATOR FACET

DIFFERENTIABLE_SECTION_EVALUATOR FACET

EVALUATION FACET

ANY FACET

Additional Inherited Members

Detailed Description

Member Enumeration Documentation

◆ static_const_int

Constructor & Destructor Documentation

◆ constant_fcn_space() [1/2]

◆ constant_fcn_space() [2/2]

◆ ~constant_fcn_space()

Member Function Documentation

◆ basis_at_coord()

◆ basis_derivs_at_coord()

◆ clone()

◆ coord_at_value()

◆ dl()

◆ dxi_local()

◆ gauss_point()

◆ integrate()

◆ invariant()

◆ is_ancestor_of()

◆ jacobian()

◆ jacobian_determinant()

◆ operator=() [1/2]

◆ operator=() [2/2]

◆ value_at_coord()

Member Data Documentation

◆ _basis_value_buffer