SheafSystem  0.0.0.0
fiber_bundle::e3_lite Class Reference

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

#include <e3.h>

Inheritance diagram for fiber_bundle::e3_lite:
fiber_bundle::ed_lite fiber_bundle::at1_lite fiber_bundle::atp_lite fiber_bundle::tp_lite fiber_bundle::vd_lite fiber_bundle::tuple_lite fiber_bundle::any_lite

EUCLIDEAN VECTOR ALGEBRA (E3) FACET OF CLASS E3_LITE

typedef e3_row_dofs_type< double > row_dofs_type
 The type of the row dofs. More...
 
row_dofs_type _row_dofs
 Row_dofs_type. More...
 
 e3_lite ()
 Default constructor. More...
 
 e3_lite (const e3_lite &xother)
 Copy constructor. More...
 
e3_liteoperator= (const e3_lite &xother)
 Copy assignment operator. More...
 
virtual ~e3_lite ()
 Destructor. More...
 
 e3_lite (const row_dofs_type &xrow_dofs)
 Creates a new instance with row dofs xrow_dofs. More...
 
e3_liteoperator= (const row_dofs_type &xrow_dofs)
 Row_dofs_type assignment operator. More...
 
 e3_lite (const value_type &xvalue)
 Creates a new instance with all components == x value. More...
 
 e3_lite (const value_type &x_comp, const value_type &y_comp, const value_type &z_comp)
 Creates a new instance with components x_comp, y_comp, z_comp. 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 &x_comp, const value_type &y_comp, const value_type &z_comp)
 Set values of the components to the given arguments. More...
 

TENSOR ALGEBRA (TP) FACET OF CLASS E3_LITE

typedef e3_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 E3_LITE

bool operator== (const e3_lite &xother) const
 True if this has the same components as xother. More...
 
e3_liteoperator= (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 const tp_litetp_prototype (int xp) const
 Prototype for general tensors of degree xp over this vector space. More...
 
virtual const atp_liteatp_prototype (int xp) const
 Prototype for antisymmetric tensors of degree xp over this vector space. More...
 
virtual const stp_litestp_prototype (int xp) const
 Prototype for symmetric tensors of degree xp over this vector space. More...
 
static const tp_litestatic_tp_prototype (int xp)
 Static prototype for general tensors of degree xp over this vector space. More...
 
static const atp_litestatic_atp_prototype (int xp)
 Static prototype for antisymmetric tensors of degree xp over this vector space. More...
 
static const stp_litestatic_stp_prototype (int xp)
 Static prototype for symmetric tensors of degree xp over this vector space. More...
 

CARTESIAN ALGEBRA (TUPLE) FACET OF CLASS E3_LITE

bool c_lt (const e3_lite &xother) const
 Cartesian order less than comparison. More...
 
bool c_le (const e3_lite &xother) const
 Cartesian order less than or equal comparison. More...
 
bool c_gt (const e3_lite &xother) const
 Cartesian order greater than comparison. More...
 
bool c_ge (const e3_lite &xother) const
 Cartesian order greater than or equal comparison. More...
 
bool d_lt (const e3_lite &xother) const
 Dictionary (lexicographic) order less than comparison. More...
 
bool d_le (const e3_lite &xother) const
 Dictionary (lexicographic) order less than or equal comparison. More...
 
bool d_gt (const e3_lite &xother) const
 Dictionary (lexicographic) order greater than comparison. More...
 
bool d_ge (const e3_lite &xother) const
 Dictionary (lexicographic) order greater than or equal comparison. More...
 

ABSTRACT POSET MEMBER FACET OF CLASS E3_LITE

virtual const std::string & class_name () const
 The name of this class. More...
 
virtual e3_liteclone () const
 Virtual constructor, makes a new instance of the same type as this. More...
 
virtual e3_liteclone (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 E3_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_liteoperator= (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_liteoperator= (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_liteoperator= (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_liteoperator= (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_liteoperator= (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_liteoperator= (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_liteoperator= (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_liteoperator= (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_liteoperator= (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_liteoperator= (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_liteoperator= (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_typeoperator[] (int xindex)
 The value of the component corresponding to xindex (non const version). More...
 
virtual const value_typeoperator[] (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_liteoperator= (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_litestatic_tp_prototype (int xp)
 Static prototype for general tensors of degree xp over this vector space. More...
 
static const atp_litestatic_atp_prototype (int xp)
 Static prototype for antisymmetric tensors of degree xp over this vector space. More...
 
static const stp_litestatic_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 3 (volatile version).

Definition at line 116 of file e3.h.

Member Typedef Documentation

◆ row_dofs_type

The type of the row dofs.

Definition at line 130 of file e3.h.

◆ vector_space_type

Type of underlying vector space.

Definition at line 254 of file e3.h.

Constructor & Destructor Documentation

◆ e3_lite() [1/5]

fiber_bundle::e3_lite::e3_lite ( )

Default constructor.

Postcondition

Definition at line 58 of file e3.cc.

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

◆ e3_lite() [2/5]

fiber_bundle::e3_lite::e3_lite ( const e3_lite xother)

Copy constructor.

Postcondition

Definition at line 73 of file e3.cc.

References operator=().

◆ ~e3_lite()

fiber_bundle::e3_lite::~e3_lite ( )
virtual

Destructor.

Definition at line 114 of file e3.cc.

References e3_lite().

Referenced by operator=().

◆ e3_lite() [3/5]

fiber_bundle::e3_lite::e3_lite ( const row_dofs_type xrow_dofs)

Creates a new instance with row dofs xrow_dofs.

Definition at line 126 of file e3.cc.

References operator=().

◆ e3_lite() [4/5]

fiber_bundle::e3_lite::e3_lite ( const value_type xvalue)
explicit

Creates a new instance with all components == x value.

Postcondition
  • isunordered_or_equals(component(0), xvalue)
  • isunordered_or_equals(component(1), xvalue)
  • isunordered_or_equals(component(2), xvalue)

Definition at line 162 of file e3.cc.

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

◆ e3_lite() [5/5]

fiber_bundle::e3_lite::e3_lite ( const value_type x_comp,
const value_type y_comp,
const value_type z_comp 
)

Creates a new instance with components x_comp, y_comp, z_comp.

Postcondition
  • isunordered_or_equals(component(0), x0)
  • isunordered_or_equals(component(1), x1)
  • isunordered_or_equals(component(2), x2)

Definition at line 183 of file e3.cc.

References sheaf::isunordered_or_equals().

Member Function Documentation

◆ atp_prototype()

const fiber_bundle::atp_lite & fiber_bundle::e3_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 535 of file e3.cc.

References static_stp_prototype().

Referenced by static_atp_prototype().

◆ c_ge()

bool fiber_bundle::e3_lite::c_ge ( const e3_lite xother) const

Cartesian order greater than or equal comparison.

Postcondition
  • result == (((*this)[0] >= xother[0]) && ((*this)[1] >= xother[1]) && ((*this)[2] >= xother[2]))

Definition at line 712 of file e3.cc.

References _row_dofs, fiber_bundle::e3_row_dofs_type< T >::components, and d_lt().

Referenced by c_gt().

◆ c_gt()

bool fiber_bundle::e3_lite::c_gt ( const e3_lite xother) const

Cartesian order greater than comparison.

Postcondition
  • result == (((*this)[0] > xother[0]) && ((*this)[1] > xother[1]) && ((*this)[2] > xother[2]))

Definition at line 685 of file e3.cc.

References _row_dofs, c_ge(), and fiber_bundle::e3_row_dofs_type< T >::components.

Referenced by c_le().

◆ c_le()

bool fiber_bundle::e3_lite::c_le ( const e3_lite xother) const

Cartesian order less than or equal comparison.

Postcondition
  • result == (((*this)[0] <= xother[0]) && ((*this)[1] <= xother[1]) && ((*this)[2] <= xother[2]))

Definition at line 658 of file e3.cc.

References _row_dofs, c_gt(), and fiber_bundle::e3_row_dofs_type< T >::components.

Referenced by c_lt().

◆ c_lt()

bool fiber_bundle::e3_lite::c_lt ( const e3_lite xother) const

Cartesian order less than comparison.

Postcondition
  • result == (((*this)[0] < xother[0]) && ((*this)[1] < xother[1]) && ((*this)[2] < xother[2]))

Definition at line 631 of file e3.cc.

References _row_dofs, c_le(), and fiber_bundle::e3_row_dofs_type< T >::components.

Referenced by stp_prototype().

◆ class_name()

const std::string & fiber_bundle::e3_lite::class_name ( ) const
virtual

The name of this class.

Postcondition
  • !result.empty()

Reimplemented from fiber_bundle::ed_lite.

Definition at line 953 of file e3.cc.

References static_class_name().

Referenced by d_ge().

◆ clone() [1/2]

fiber_bundle::e3_lite * fiber_bundle::e3_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 991 of file e3.cc.

Referenced by fiber_bundle::e3_algebra::cross(), and static_class_name().

◆ clone() [2/2]

virtual e3_lite* fiber_bundle::e3_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 411 of file e3.h.

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

◆ d_ge()

bool fiber_bundle::e3_lite::d_ge ( const e3_lite xother) const

Dictionary (lexicographic) order greater than or equal comparison.

Definition at line 887 of file e3.cc.

References _row_dofs, class_name(), and fiber_bundle::e3_row_dofs_type< T >::components.

Referenced by d_gt().

◆ d_gt()

bool fiber_bundle::e3_lite::d_gt ( const e3_lite xother) const

Dictionary (lexicographic) order greater than comparison.

Definition at line 840 of file e3.cc.

References _row_dofs, fiber_bundle::e3_row_dofs_type< T >::components, and d_ge().

Referenced by d_le().

◆ d_le()

bool fiber_bundle::e3_lite::d_le ( const e3_lite xother) const

Dictionary (lexicographic) order less than or equal comparison.

Definition at line 786 of file e3.cc.

References _row_dofs, fiber_bundle::e3_row_dofs_type< T >::components, and d_gt().

Referenced by d_lt().

◆ d_lt()

bool fiber_bundle::e3_lite::d_lt ( const e3_lite xother) const

Dictionary (lexicographic) order less than comparison.

Definition at line 739 of file e3.cc.

References _row_dofs, fiber_bundle::e3_row_dofs_type< T >::components, and d_le().

Referenced by c_ge().

◆ dd()

int fiber_bundle::e3_lite::dd ( ) const
virtual

Dimension of the underlying vector space.

Postcondition
  • result == 3

Reimplemented from fiber_bundle::tp_lite.

Definition at line 313 of file e3.cc.

References operator==().

Referenced by put_components().

◆ invariant()

bool fiber_bundle::e3_lite::invariant ( ) const

Class invariant.

Invariant

Definition at line 1043 of file e3.cc.

References row_dofs().

Referenced by is_ancestor_of().

◆ is_ancestor_of()

bool fiber_bundle::e3_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 1024 of file e3.cc.

References invariant().

◆ operator const row_dofs_type &()

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

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

Postcondition

Definition at line 222 of file e3.cc.

References put_components().

◆ operator row_dofs_type &()

fiber_bundle::e3_lite::operator e3_lite::row_dofs_type & ( )

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

Postcondition

Definition at line 204 of file e3.cc.

◆ operator=() [1/3]

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

Copy assignment operator.

Postcondition
  • -unexecutable( *this == xother )

Definition at line 90 of file e3.cc.

References _row_dofs, and ~e3_lite().

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

◆ operator=() [2/3]

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

Row_dofs_type assignment operator.

Postcondition

Definition at line 141 of file e3.cc.

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

◆ operator=() [3/3]

fiber_bundle::e3_lite & fiber_bundle::e3_lite::operator= ( const value_type xvalue)

Value_type assignment operator; sets all components to xvalue.

Postcondition
  • for(int i = ( 0 ); i < ( d() ); ++ i ) component(i) == xvalue

Definition at line 368 of file e3.cc.

References fiber_bundle::vd_lite::components(), and operator==().

◆ operator==() [1/2]

bool fiber_bundle::e3_lite::operator== ( const e3_lite xother) const

True if this has the same components as xother.

Definition at line 344 of file e3.cc.

References _row_dofs, fiber_bundle::e3_row_dofs_type< T >::components, and operator=().

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

◆ operator==() [2/2]

bool fiber_bundle::e3_lite::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.

Postcondition
  • for(int i = ( 0 ); i < ( d() ); ++ i ) !result || component(i) == xvalue

Definition at line 391 of file e3.cc.

References static_tp_prototype().

◆ put_components()

void fiber_bundle::e3_lite::put_components ( const value_type x_comp,
const value_type y_comp,
const value_type z_comp 
)
virtual

Set values of the components to the given arguments.

Postcondition
  • isunordered_or_equals(component(0), x_comp)
  • isunordered_or_equals(component(1), y_comp)
  • isunordered_or_equals(component(2), z_comp)

Definition at line 241 of file e3.cc.

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

Referenced by operator const row_dofs_type &().

◆ row_dofs() [1/2]

void * fiber_bundle::e3_lite::row_dofs ( )
virtual

The row dofs for this instance (mutable version).

Reimplemented from fiber_bundle::any_lite.

Definition at line 1071 of file e3.cc.

Referenced by invariant().

◆ row_dofs() [2/2]

const void * fiber_bundle::e3_lite::row_dofs ( ) const
virtual

The row dofs for this instance (const version).

Reimplemented from fiber_bundle::any_lite.

Definition at line 1078 of file e3.cc.

References fiber_bundle::e3::standard_schema_path().

◆ static_atp_prototype()

const fiber_bundle::atp_lite & fiber_bundle::e3_lite::static_atp_prototype ( int  xp)
static

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

Precondition
  • (0 <= xp) && (xp <= 3)
Postcondition
  • -unexecutable( "result.p() == xp" )

Definition at line 488 of file e3.cc.

References atp_prototype().

Referenced by tp_prototype().

◆ static_class_name()

const std::string & fiber_bundle::e3_lite::static_class_name ( )
static

The name of this class.

Postcondition
  • !result.empty()

Definition at line 972 of file e3.cc.

References clone().

Referenced by class_name().

◆ static_stp_prototype()

const fiber_bundle::stp_lite & fiber_bundle::e3_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 556 of file e3.cc.

References stp_prototype().

Referenced by atp_prototype().

◆ static_tp_prototype()

const fiber_bundle::tp_lite & fiber_bundle::e3_lite::static_tp_prototype ( int  xp)
static

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

Precondition
  • (0 <= xp) && (xp <= 4)
Postcondition
  • -unexecutable( "result.p() == xp" )

Definition at line 415 of file e3.cc.

References tp_prototype().

Referenced by operator==().

◆ stp_prototype()

const fiber_bundle::stp_lite & fiber_bundle::e3_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 598 of file e3.cc.

References c_lt().

Referenced by static_stp_prototype().

◆ tp_prototype()

const fiber_bundle::tp_lite & fiber_bundle::e3_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 467 of file e3.cc.

References static_atp_prototype().

Referenced by static_tp_prototype().

Member Data Documentation

◆ _row_dofs

row_dofs_type fiber_bundle::e3_lite::_row_dofs
protected

Row_dofs_type.

Definition at line 201 of file e3.h.

Referenced by c_ge(), c_gt(), c_le(), c_lt(), d_ge(), d_gt(), d_le(), d_lt(), operator=(), and operator==().


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