Euclidean vector space of dimension 4 (volatile version). More...

#include <e4.h>

Inheritance diagram for fiber_bundle::e4_lite:

EUCLIDEAN VECTOR ALGEBRA (E4) FACET OF CLASS E4_LITE
typedef e4_row_dofs_type< double >	row_dofs_type
	The type of the row dofs. More...

row_dofs_type	_row_dofs
	Row_dofs_type. More...

	e4_lite ()
	Default constructor. More...

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

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

virtual	~e4_lite ()
	Destructor. More...

	e4_lite (const row_dofs_type &xrow_dofs)
	Creates a new instance with row dofs xrow_dofs. More...

e4_lite &	operator= (const row_dofs_type &xrow_dofs)
	Assignment (from row_dofs_type) operator. More...

	e4_lite (const value_type &x0, const value_type &x1, const value_type &x2, const value_type &x3)
	Creates a new instance with components x0, x1, x2, x3. More...

	operator row_dofs_type & ()
	Conversion (cast) operator to convert to the associated row dofs type (non const version). More...

	operator const row_dofs_type & () const
	Conversion (cast) operator to convert to the associated row dofs type (const version). More...

virtual void	put_components (const value_type &x0, const value_type &x1, const value_type &x2, const value_type &x3)
	Set values of the components to the given arguments. More...

TENSOR ALGEBRA (TP) FACET OF CLASS E4_LITE
typedef e4_lite	vector_space_type
	Type of underlying vector space. More...

virtual int	dd () const
	Dimension of the underlying vector space. More...

VECTOR ALGEBRA (VD) FACET OF CLASS E4_LITE
bool	operator== (const e4_lite &xother) const
	True if this has the same components as xother. More...

virtual const tp_lite &	tp_prototype (int xp) const
	Prototype for general tensors of degree xp over this vector space. More...

virtual const atp_lite &	atp_prototype (int xp) const
	Prototype for antisymmetric tensors of degree xp over this vector space. More...

virtual const stp_lite &	stp_prototype (int xp) const
	Prototype for symmetric tensors of degree xp over this vector space. More...

static const tp_lite &	static_tp_prototype (int xp)
	Static prototype for general tensors of degree xp over this vector space. More...

static const atp_lite &	static_atp_prototype (int xp)
	Static prototype for antisymmetric tensors of degree xp over this vector space. More...

static const stp_lite &	static_stp_prototype (int xp)
	Static prototype for symmetric tensors of degree xp over this vector space. More...

ABSTRACT POSET MEMBER FACET OF CLASS E4_LITE
virtual const std::string &	class_name () const
	The name of this class. More...

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

virtual e4_lite *	clone (bool xnew_state, bool xauto_access) const
	Virtual constructor, makes a new instance of the same type as this; synonym for clone(), intended for use only in certain templates. More...

static const std::string &	static_class_name ()
	The name of this class. More...

ANY FACET OF CLASS E4_LITE
virtual bool	is_ancestor_of (const any_lite &xother) const
	Conformance test; true if other conforms to this. More...

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

virtual void *	row_dofs ()
	The row dofs for this instance (mutable version). More...

virtual const void *	row_dofs () const
	The row dofs for this instance (const version). More...

Additional Inherited Members
Public Types inherited from fiber_bundle::at1_lite
enum	static_const_int { P = 1 }
	The tensor degree (static version) More...

Public Types inherited from fiber_bundle::tp_lite
enum	static_const_int { P = -1 }
	The degree of this tensor space. More...

typedef tp_table_dofs_type	table_dofs_type
	The type of the table dofs. More...

typedef vd_lite	vector_space_type
	Type of underlying vector space. More...

Public Types inherited from fiber_bundle::vd_lite
typedef vd_dof_type	dof_type
	The type of the degrees of freedom. More...

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

typedef vd_table_dofs_type	table_dofs_type
	The type of the table dofs. More...

typedef vd_row_dofs_type< double >	row_dofs_type
	The type of the row dofs. More...

Public Types inherited from fiber_bundle::tuple_lite
typedef tuple_table_dofs_type	table_dofs_type
	The type of the table dofs. More...

Public Types inherited from fiber_bundle::any_lite
typedef any_lite	volatile_type
	The associated volatile type. More...

Public Member Functions inherited from fiber_bundle::ed_lite
	ed_lite ()
	Default constructor. More...

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

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

virtual	~ed_lite ()
	Destructor. More...

	ed_lite (const row_dofs_type &xrow_dofs)
	Creates a new instance with row dofs xrow_dofs. More...

ed_lite &	operator= (const row_dofs_type &xrow_dofs)
	Assignment (from row_dofs_type) operator. More...

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

Public Member Functions inherited from fiber_bundle::at1_lite
	at1_lite ()
	Default constructor. More...

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

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

virtual	~at1_lite ()
	Destructor. More...

	at1_lite (const row_dofs_type &xrow_dofs)
	Creates a new instance with row dofs xrow_dofs. More...

at1_lite &	operator= (const row_dofs_type &xrow_dofs)
	Assignment (from row_dofs_type) operator. More...

virtual int	p () const
	Degree of this as an antisymmetric tensor space. More...

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

Public Member Functions inherited from fiber_bundle::atp_lite
	atp_lite ()
	Default constructor. More...

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

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

virtual	~atp_lite ()
	Destructor. More...

	atp_lite (const row_dofs_type &xrow_dofs)
	Creates a new instance with row dofs xrow_dofs. More...

atp_lite &	operator= (const row_dofs_type &xrow_dofs)
	Assignment (from row_dofs_type) operator. More...

virtual int	d () const
	Dimension of this as a vector space. More...

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

Public Member Functions inherited from fiber_bundle::tp_lite
	tp_lite ()
	Default constructor. More...

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

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

virtual	~tp_lite ()
	Destructor. More...

	tp_lite (const row_dofs_type &xrow_dofs)
	Creates a new instance with row dofs xrow_dofs. More...

tp_lite &	operator= (const row_dofs_type &xrow_dofs)
	Assignment (from row_dofs_type) operator. More...

virtual pod_index_type	vector_space_index () const
	Index of the underlying vector space. More...

table_dofs_type	table_dofs () const
	The table dofs. More...

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

Public Member Functions inherited from fiber_bundle::vd_lite
	vd_lite ()
	Default constructor. More...

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

vd_lite &	operator= (const vd_lite &xother)
	Copy assignment operator. More...

bool	operator== (const vd_lite &xother) const
	True if this has the same components as xother. More...

virtual	~vd_lite ()
	Destructor. More...

	vd_lite (const row_dofs_type &xrow_dofs)
	Creates a new instance with row dofs xrow_dofs. More...

vd_lite &	operator= (const row_dofs_type &xrow_dofs)
	Row_dofs_type assignment operator. More...

value_type	component (int xindex) const
	The xindex-th component. More...

void	put_component (int xindex, value_type xcomp)
	Set the xindex-th component to xcomp. More...

virtual void	components (dof_type xresult[], int comps_dimension) const
	The values of all the components (preallocated version). More...

virtual void	put_components (const dof_type xcomps[], int xcomps_dimension)
	Set values of all the components to the values in xcomps. More...

vd_lite &	operator= (const value_type &xvalue)
	Value_type assignment operator; sets all components to xvalue. More...

bool	operator== (const value_type &xvalue) const
	Equality comparison to scalar; true if and only if all components == xvalue. Especially useful for comparison to 0.0. More...

virtual value_type &	operator[] (int xindex)
	The value of the component corresponding to xindex (non const version). More...

virtual const value_type &	operator[] (int xindex) const
	The value of the component corresponding to xindex (const version). More...

virtual int	factor_ct () const
	Number of factors (components) in tuple. More...

table_dofs_type	table_dofs () const
	The table dofs. More...

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

Public Member Functions inherited from fiber_bundle::tuple_lite
	tuple_lite ()
	Default constructor. More...

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

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

virtual	~tuple_lite ()
	Destructor. More...

table_dofs_type	table_dofs () const
	The table dofs. More...

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

Public Member Functions inherited from fiber_bundle::any_lite
virtual	~any_lite ()
	Destructor. More...

bool	is_same_type (const any_lite &xother) const
	True if other is the same type as this. More...

bool	invariant () const
	Class invariant, intended to be redefined in each descendant. 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...

Static Public Member Functions inherited from fiber_bundle::ed_lite
static const std::string &	static_class_name ()
	The name of this class. More...

Static Public Member Functions inherited from fiber_bundle::at1_lite
static const std::string &	static_class_name ()
	The name of this class. More...

Static Public Member Functions inherited from fiber_bundle::atp_lite
static const std::string &	static_class_name ()
	The name of this class. More...

Static Public Member Functions inherited from fiber_bundle::tp_lite
static const std::string &	static_class_name ()
	The name of this class. More...

Static Public Member Functions inherited from fiber_bundle::vd_lite
static const tp_lite &	static_tp_prototype (int xp)
	Static prototype for general tensors of degree xp over this vector space. More...

static const atp_lite &	static_atp_prototype (int xp)
	Static prototype for antisymmetric tensors of degree xp over this vector space. More...

static const stp_lite &	static_stp_prototype (int xp)
	Static prototype for symmetric tensors of degree xp over this vector space. More...

static const std::string &	static_class_name ()
	The name of this class. More...

Static Public Member Functions inherited from fiber_bundle::tuple_lite
static const std::string &	static_class_name ()
	The name of this class. More...

Static Public Member Functions inherited from fiber_bundle::any_lite
static const std::string &	static_class_name ()
	The name of this class. More...

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

Detailed Description

Euclidean vector space of dimension 4 (volatile version).

Definition at line 111 of file e4.h.

Member Typedef Documentation

◆ row_dofs_type

typedef e4_row_dofs_type<double> fiber_bundle::e4_lite::row_dofs_type

The type of the row dofs.

Definition at line 125 of file e4.h.

◆ vector_space_type

typedef e4_lite fiber_bundle::e4_lite::vector_space_type

Type of underlying vector space.

Definition at line 246 of file e4.h.

Constructor & Destructor Documentation

◆ e4_lite() [1/4]

fiber_bundle::e4_lite::e4_lite ( )

Default constructor.

Postcondition

invariant()

Definition at line 49 of file e4.cc.

Referenced by operator=(), and ~e4_lite().

◆ e4_lite() [2/4]

fiber_bundle::e4_lite::e4_lite ( const e4_lite & xother )

Copy constructor.

Postcondition

invariant()

Definition at line 64 of file e4.cc.

References operator=().

◆ ~e4_lite()

fiber_bundle::e4_lite::~e4_lite ( )

virtual

Destructor.

Definition at line 104 of file e4.cc.

References e4_lite().

Referenced by operator=().

◆ e4_lite() [3/4]

fiber_bundle::e4_lite::e4_lite ( const row_dofs_type & xrow_dofs )

Creates a new instance with row dofs xrow_dofs.

Definition at line 116 of file e4.cc.

References operator=().

◆ e4_lite() [4/4]

fiber_bundle::e4_lite::e4_lite	(	const value_type &	x0,
		const value_type &	x1,
		const value_type &	x2,
		const value_type &	x3
	)

Creates a new instance with components x0, x1, x2, x3.

Postcondition

invariant()

isunordered_or_equals(component(0), x0)

isunordered_or_equals(component(1), x1)

isunordered_or_equals(component(2), x2)

isunordered_or_equals(component(3), x3)

Definition at line 152 of file e4.cc.

References sheaf::isunordered_or_equals().

Member Function Documentation

◆ atp_prototype()

const fiber_bundle::atp_lite & fiber_bundle::e4_lite::atp_prototype ( int xp ) const

virtual

Prototype for antisymmetric tensors of degree xp over this vector space.

Precondition

precondition_of(static_atp_prototype(xp))

Postcondition

postcondition_of(static_atp_prototype(xp))

Reimplemented from fiber_bundle::vd_lite.

Definition at line 435 of file e4.cc.

References static_stp_prototype().

Referenced by static_atp_prototype().

◆ class_name()

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

virtual

The name of this class.

Postcondition

!result.empty()

Reimplemented from fiber_bundle::ed_lite.

Definition at line 519 of file e4.cc.

References static_class_name().

Referenced by stp_prototype().

◆ clone() [1/2]

fiber_bundle::e4_lite * fiber_bundle::e4_lite::clone ( ) const

virtual

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

Postcondition

result != 0

is_same_type(*result)

Reimplemented from fiber_bundle::ed_lite.

Definition at line 557 of file e4.cc.

Referenced by static_class_name().

◆ clone() [2/2]

virtual e4_lite* fiber_bundle::e4_lite::clone	(	bool	xnew_state,
		bool	xauto_access
	)		const

inlinevirtual

Virtual constructor, makes a new instance of the same type as this; synonym for clone(), intended for use only in certain templates.

Definition at line 352 of file e4.h.

References fiber_bundle::e4_row_dofs_type< T >::clone(), and sheaf::row_dofs().

◆ dd()

int fiber_bundle::e4_lite::dd ( ) const

virtual

Dimension of the underlying vector space.

Postcondition

invariant()

result == 4

Reimplemented from fiber_bundle::tp_lite.

Definition at line 284 of file e4.cc.

References operator==().

Referenced by put_components().

◆ invariant()

bool fiber_bundle::e4_lite::invariant ( ) const

Class invariant.

Invariant

ed_lite::invariant()

Definition at line 609 of file e4.cc.

References row_dofs().

Referenced by is_ancestor_of().

◆ is_ancestor_of()

bool fiber_bundle::e4_lite::is_ancestor_of ( const any_lite & xother ) const

virtual

Conformance test; true if other conforms to this.

Precondition

&xother != 0

Reimplemented from fiber_bundle::ed_lite.

Definition at line 590 of file e4.cc.

References invariant().

◆ operator const row_dofs_type &()

fiber_bundle::e4_lite::operator const e4_lite::row_dofs_type & ( ) const

Conversion (cast) operator to convert to the associated row dofs type (const version).

Postcondition

invariant()

Definition at line 193 of file e4.cc.

References put_components().

◆ operator row_dofs_type &()

fiber_bundle::e4_lite::operator e4_lite::row_dofs_type & ( )

Conversion (cast) operator to convert to the associated row dofs type (non const version).

Postcondition

invariant()

Definition at line 175 of file e4.cc.

◆ operator=() [1/2]

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

Assignment operator.

Postcondition

invariant()

-unexecutable( *this == xother )

Definition at line 81 of file e4.cc.

References _row_dofs, and ~e4_lite().

Referenced by e4_lite().

◆ operator=() [2/2]

fiber_bundle::e4_lite & fiber_bundle::e4_lite::operator= ( const row_dofs_type & xrow_dofs )

Assignment (from row_dofs_type) operator.

Postcondition

invariant()

-unexecutable( row_dofs() == xrow_dofs )

Definition at line 131 of file e4.cc.

References e4_lite(), and sheaf::row_dofs().

◆ operator==()

bool fiber_bundle::e4_lite::operator== ( const e4_lite & xother ) const

True if this has the same components as xother.

Definition at line 304 of file e4.cc.

References _row_dofs, fiber_bundle::e4_row_dofs_type< T >::components, and static_tp_prototype().

Referenced by dd().

◆ put_components()

void fiber_bundle::e4_lite::put_components	(	const value_type &	x0,
		const value_type &	x1,
		const value_type &	x2,
		const value_type &	x3
	)

virtual

Set values of the components to the given arguments.

Postcondition

invariant()

isunordered_or_equals(component(0), x0)

isunordered_or_equals(component(1), x1)

isunordered_or_equals(component(2), x2)

isunordered_or_equals(component(3), x3)

Definition at line 212 of file e4.cc.

References dd(), and sheaf::isunordered_or_equals().

Referenced by operator const row_dofs_type &().

◆ row_dofs() [1/2]

void * fiber_bundle::e4_lite::row_dofs ( )

virtual

The row dofs for this instance (mutable version).

Reimplemented from fiber_bundle::any_lite.

Definition at line 637 of file e4.cc.

Referenced by invariant().

◆ row_dofs() [2/2]

const void * fiber_bundle::e4_lite::row_dofs ( ) const

virtual

The row dofs for this instance (const version).

Reimplemented from fiber_bundle::any_lite.

Definition at line 644 of file e4.cc.

References fiber_bundle::e4::standard_schema_path().

◆ static_atp_prototype()

const fiber_bundle::atp_lite & fiber_bundle::e4_lite::static_atp_prototype ( int xp )

static

Static prototype for antisymmetric tensors of degree xp over this vector space.

Precondition

(0 <= xp) && (xp <= 1)

Postcondition

-unexecutable( "result.p() == xp" )

Definition at line 398 of file e4.cc.

References atp_prototype().

Referenced by tp_prototype().

◆ static_class_name()

const std::string & fiber_bundle::e4_lite::static_class_name ( )

static

The name of this class.

Postcondition

!result.empty()

Definition at line 538 of file e4.cc.

References clone().

Referenced by class_name().

◆ static_stp_prototype()

const fiber_bundle::stp_lite & fiber_bundle::e4_lite::static_stp_prototype ( int xp )

static

Static prototype for symmetric tensors of degree xp over this vector space.

Precondition

(2 <= xp) && (xp <= 4)

Postcondition

-unexecutable( "result.p() == xp" )

Definition at line 456 of file e4.cc.

References stp_prototype().

Referenced by atp_prototype().

◆ static_tp_prototype()

const fiber_bundle::tp_lite & fiber_bundle::e4_lite::static_tp_prototype ( int xp )

static

Static prototype for general tensors of degree xp over this vector space.

Precondition

(0 <= xp) && (xp <= 1)

Postcondition

-unexecutable( "result.p() == xp" )

Definition at line 340 of file e4.cc.

References tp_prototype().

Referenced by operator==().

◆ stp_prototype()

const fiber_bundle::stp_lite & fiber_bundle::e4_lite::stp_prototype ( int xp ) const

virtual

Prototype for symmetric tensors of degree xp over this vector space.

Precondition

precondition_of(static_stp_prototype(xp))

Postcondition

postcondition_of(static_stp_prototype(xp))

Reimplemented from fiber_bundle::vd_lite.

Definition at line 476 of file e4.cc.

References class_name().

Referenced by static_stp_prototype().

◆ tp_prototype()

const fiber_bundle::tp_lite & fiber_bundle::e4_lite::tp_prototype ( int xp ) const

virtual

Prototype for general tensors of degree xp over this vector space.

Precondition

precondition_of(static_tp_prototype(xp))

Postcondition

postcondition_of(static_tp_prototype(xp))

Reimplemented from fiber_bundle::vd_lite.

Definition at line 377 of file e4.cc.

References static_atp_prototype().

Referenced by static_tp_prototype().

Member Data Documentation

◆ _row_dofs

row_dofs_type fiber_bundle::e4_lite::_row_dofs

protected

Row_dofs_type.

Definition at line 193 of file e4.h.

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

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

e4.h
e4.cc

EUCLIDEAN VECTOR ALGEBRA (E4) FACET OF CLASS E4_LITE

TENSOR ALGEBRA (TP) FACET OF CLASS E4_LITE

VECTOR ALGEBRA (VD) FACET OF CLASS E4_LITE

ABSTRACT POSET MEMBER FACET OF CLASS E4_LITE

ANY FACET OF CLASS E4_LITE

Additional Inherited Members

Detailed Description

Member Typedef Documentation

◆ row_dofs_type

◆ vector_space_type

Constructor & Destructor Documentation

◆ e4_lite() [1/4]

◆ e4_lite() [2/4]

◆ ~e4_lite()

◆ e4_lite() [3/4]

◆ e4_lite() [4/4]

Member Function Documentation

◆ atp_prototype()

◆ class_name()

◆ clone() [1/2]

◆ clone() [2/2]

◆ dd()

◆ invariant()

◆ is_ancestor_of()

◆ operator const row_dofs_type &()

◆ operator row_dofs_type &()

◆ operator=() [1/2]

◆ operator=() [2/2]

◆ operator==()

◆ put_components()

◆ row_dofs() [1/2]

◆ row_dofs() [2/2]

◆ static_atp_prototype()

◆ static_class_name()

◆ static_stp_prototype()

◆ static_tp_prototype()

◆ stp_prototype()

◆ tp_prototype()

Member Data Documentation

◆ _row_dofs