#include <accessors.hh>

Collaboration diagram for ElementAccessor< spacedim >:

[legend]

Public Member Functions
	ElementAccessor ()
	Default invalid accessor. More...

	ElementAccessor (const MeshBase *mesh, RegionIdx r_idx)
	Regional accessor. More...

	ElementAccessor (const MeshBase *mesh, unsigned int idx)
	Element accessor. More...

void	inc ()
	Incremental function of the Element iterator. More...

double	measure () const
	Computes the measure of the element. More...

bool	inverted () const

double	sign () const

double	jacobian_S3 () const

double	jacobian_S2 () const

double	jacobian_S1 () const

arma::vec::fixed< spacedim >	centre () const
	Computes the barycenter. More...

double	quality_measure_smooth () const

SideIter	side (const unsigned int loc_index)

const SideIter	side (const unsigned int loc_index) const

bool	is_regional () const

bool	is_elemental () const

bool	is_valid () const

unsigned int	dim () const

const Element *	element () const

Region	region () const

RegionIdx	region_idx () const

unsigned int	idx () const
	We need this method after replacing Region by RegionIdx, and movinf RegionDB instance into particular mesh. More...

unsigned int	input_id () const
	Return the element ID in the input mesh. Should be only used for special output. More...

unsigned int	proc () const

NodeAccessor< 3 >	node (unsigned int ni) const

BoundingBox	bounding_box () const

auto &	orig_nodes_order () const

bool	operator== (const ElementAccessor< spacedim > &other) const

bool	operator!= (const ElementAccessor< spacedim > &other) const

const Element *	operator-> () const

Private Attributes
const MeshBase *	mesh_
	Pointer to the mesh owning the element. More...

unsigned int	element_idx_
	Index into Mesh::element_vec_ array. More...

RegionIdx	r_idx_

Static Private Attributes
static const unsigned int	undefined_dim_ = 100

Detailed Description

template<int spacedim>
class ElementAccessor< spacedim >

Element accessor templated just by dimension of the embedding space, used by Fields. This should allow algorithms over elements where dimension of particular element is runtime parameter.

This class suites as interface of Fields to the mesh elements, in particular this accessor knows directly the region, and also can be used as an accessor that works on the whole region if used by Fields that do not depend on particular elements as FieldConstant, FiledFormula, and FieldPython.

TODO:

make this kind of accessor subclass of FieldCommonBase or at least move it into src/fields since it has functionality particular for Fields

Ideas: need function to calculate intersection (object) of two ElementAccessors, but this definitely should be templated by dimension of the ref. element (or rather shape of ref. element), here we can have case dispatch

Navrh algoritmu pro hledani pruniku elementu dvou siti (libovlnych dimenzi) algoritmus postupuje od bodu pruniku pres usecky a polygony k mnohostenum

Vstup: Sit1 dimenze d1 a Sit2 dimenze d2 predpoladam d1<=d2

1) hladam body na hranici pruniku tj. Intersection<d> <d_e1,d_e2> .. prunik ma dimenzi d a pronikaji se simplexy dimenze d_e1, a d_e2

Intersection<0><0,0> .. totozne vrcholy El<0> Intersection<0><0,1> a <1,0> .. vrchol jedne site lezi na hrane druhe site Intersection<0><0,n> a <n,0> .. vrchol lezi na El<n> druhe site

Intersection<0><1,1> .. bodovy prusecik dvou usecek v rovine Intersection<0><1,2> a <2,1> ... prusecik hrany a trojuhelnika ... dalsi zvlastni pripady vcetne <0><3,3> .. tetrahedrony s vrcholem na povrchu druheho

2) liniove pruniky Intersection<1>: Intersection<1><1,1> .. usecky na spolecne primce Intersection<1><1,2> a <2,1>.. usecka v rovine trojuhelnika Intersection<1><1,3> a <3,1> .. usecka a tetrahedron Intersection<1><2,2> .. prusecik dvou trojuhelniku Intersection<1><2,3> a <3,2> .. trojuhelnik a hrana tetrahedronu ..

... doprcic je to fakt hodne moznosti a je otazka, zda je nutne je vsechny rozlisovat

Algoritmus by mel probuhat takto:

1) Najdu vrchol V site 1 a element E site 2 aby V byl v E (to neni tak trivialni, pokud site nepokryvaji stejnou oblast ale snad by to slo hledat v pruniku obalovych boxu) 2) najdu pruseciky P_i hran z vrcholu V s povrchem E, konstruuju vsechny potrebne pruniky elementu majici vrchol V s elementem E

Sousedni elementy spolu s hranami ktere do nich vedou ulozim do prioritni fronty.

3) Vyberu z prioritni fronty novy E, pricemz vyuzivam spositane pruseciky psislusne steny a okoli vrcholu V tj. jdu po hranach po kterych jsem do noveho lementu prisel a najdu vsechny hranove pruniky, pak konstuuju slozitejsi pruniky az mam vsechny pruniky s novym elementem ...

...

Prioritni fronta by preferovala elementy do kterych jsem se nejvicekrat dostal, tim se snazim minimalizovat povrch projite oblasti. Je ale mozne, ze to algoritmus naopak zpomali, pokud je prioritni fronta log(n).

Zpracovani jednoho elementu tedy zahrnuje 1) trasovani hran: pro hranu H: testuju hledam prusecik se ctyrstenem: ANO -> pamatuju si hranovy prunik a ke stene (resp. sousednimu elementu) kde hrana vychazi pridam vychozi hranu NE -> konci ve vrcholu, dalsi hrany vychazejici z vrcholu pridam na seznam hran vchazejicich do elementu

2) po nalezeni pruniku vsech hran, hledam pruniky vsech vchazejicich ploch: jedna plocha ma se vstupni stenou useckovy prunik na jehoz konci jsou: *vstupni hrana

okraj steny kazdopadne trasuju okraj plosneho pruniku pres povrch elementu, nebo po vstupnich hranach, pokud prunikova plocha obsahuje vrchol tvorim nove vstupni plochy ...

3) Podobne trasuju vchazejici objemy

?? lze nejak vyuzit pokud ma element vice vstupnich sten minimalne se da kontrolovat ...

Struktura systemu pruniku do budoucna: 1) trida IntersectionManager, ma matici vektoru. Na poli A(i,j) je vektor lokalnich souradnic na elementu dimenze i (chodi od 1 do 3) pruniku dimenze j (chodi od 0 do 3 resp do 2 pokud nebudu chtit prekryvy siti stejne dimenze)

2) Jeden intersection objekt je pak iterator dvou elementu a dva indexy lokalnich souradnic v prislusnych vektorech.

Prozatim to zjednodusime tak, ze vektory lokalnich souradnic budu alokovat zvlast a nebudu je zdruzovat

Nakonec potrebuju pocitat integral pres prunik z nejake funkce f(phi_a(x), phi_b(x)), kde phi_a je bazova funkce na jednom elementu a phi_b na druhem. To budu delat numerickou kvadraturou, takze potrebuji zobrazit prunik na jednotkovy simplex. Pro uzel kvardatury x_i musim najit body a_i a b_i na referencnich elementech A a B. Tj potrebuju lokalni souradnice (to jsou souradnice na referencnich elementech) kvadraturnich bodu. V nic pak umim spocitat hodnotu bazovych funkci a pak i hodnotu funkce f.

K tomu staci mit matici transformace pruniku na referencni element. Takze bych pro jednotlive dvojice element - prunik mel matici + posouvaci vektor z armadila.

Definition at line 100 of file accessors.hh.

Constructor & Destructor Documentation

◆ ElementAccessor() [1/3]

template<int spacedim>

ElementAccessor< spacedim >::ElementAccessor

inline

Default invalid accessor.

Definition at line 25 of file accessors_impl.hh.

◆ ElementAccessor() [2/3]

template<int spacedim>

ElementAccessor< spacedim >::ElementAccessor	(	const MeshBase *	mesh,
		RegionIdx	r_idx
	)

inline

Regional accessor.

Definition at line 33 of file accessors_impl.hh.

◆ ElementAccessor() [3/3]

template<int spacedim>

ElementAccessor< spacedim >::ElementAccessor	(	const MeshBase *	mesh,
		unsigned int	idx
	)

inline

Element accessor.

Definition at line 43 of file accessors_impl.hh.

Member Function Documentation

◆ bounding_box()

template<int spacedim>

BoundingBox ElementAccessor< spacedim >::bounding_box

inline

Return bounding box of the element.

Definition at line 142 of file accessors_impl.hh.

Here is the caller graph for this function:

◆ centre()

template<int spacedim>

arma::vec::fixed< spacedim > ElementAccessor< spacedim >::centre

inline

Computes the barycenter.

SET THE "CENTRE[]" FIELD IN STRUCT ELEMENT

Definition at line 81 of file accessors_impl.hh.

Here is the caller graph for this function:

◆ dim()

template<int spacedim>

unsigned int ElementAccessor< spacedim >::dim ( ) const

inline

Definition at line 188 of file accessors.hh.

◆ element()

template<int spacedim>

const Element* ElementAccessor< spacedim >::element ( ) const

inline

Definition at line 193 of file accessors.hh.

Here is the caller graph for this function:

◆ idx()

template<int spacedim>

unsigned int ElementAccessor< spacedim >::idx ( ) const

inline

We need this method after replacing Region by RegionIdx, and movinf RegionDB instance into particular mesh.

Return local idx of element in boundary / bulk part of element vector

Definition at line 215 of file accessors.hh.

◆ inc()

template<int spacedim>

void ElementAccessor< spacedim >::inc

inline

Incremental function of the Element iterator.

Definition at line 49 of file accessors_impl.hh.

◆ input_id()

template<int spacedim>

unsigned int ElementAccessor< spacedim >::input_id ( ) const

inline

Return the element ID in the input mesh. Should be only used for special output.

Definition at line 220 of file accessors.hh.

Here is the caller graph for this function:

◆ inverted()

template<int spacedim>

bool ElementAccessor< spacedim >::inverted ( ) const

inline

Definition at line 117 of file accessors.hh.

Here is the caller graph for this function:

◆ is_elemental()

template<int spacedim>

bool ElementAccessor< spacedim >::is_elemental ( ) const

inline

Definition at line 180 of file accessors.hh.

Here is the caller graph for this function:

◆ is_regional()

template<int spacedim>

bool ElementAccessor< spacedim >::is_regional ( ) const

inline

Definition at line 176 of file accessors.hh.

Here is the caller graph for this function:

◆ is_valid()

template<int spacedim>

bool ElementAccessor< spacedim >::is_valid ( ) const

inline

Definition at line 184 of file accessors.hh.

Here is the caller graph for this function:

◆ jacobian_S1()

template<int spacedim>

double ElementAccessor< spacedim >::jacobian_S1 ( ) const

inline

Returns Jacobian of 1D element.

Definition at line 151 of file accessors.hh.

◆ jacobian_S2()

template<int spacedim>

double ElementAccessor< spacedim >::jacobian_S2 ( ) const

inline

Returns Jacobian of 2D element.

Definition at line 140 of file accessors.hh.

◆ jacobian_S3()

template<int spacedim>

double ElementAccessor< spacedim >::jacobian_S3 ( ) const

inline

Returns Jacobian of 3D element. Used by measure and in intersections.

Definition at line 129 of file accessors.hh.

Here is the caller graph for this function:

◆ measure()

template<int spacedim>

double ElementAccessor< spacedim >::measure

inline

Computes the measure of the element.

SET THE "METRICS" FIELD IN STRUCT ELEMENT

Definition at line 59 of file accessors_impl.hh.

Here is the caller graph for this function:

◆ node()

template<int spacedim>

NodeAccessor<3> ElementAccessor< spacedim >::node ( unsigned int ni ) const

inline

Definition at line 230 of file accessors.hh.

◆ operator!=()

template<int spacedim>

bool ElementAccessor< spacedim >::operator!= ( const ElementAccessor< spacedim > & other ) const

inline

Definition at line 248 of file accessors.hh.

◆ operator->()

template<int spacedim>

const Element* ElementAccessor< spacedim >::operator-> ( ) const

inline

  -> dereference operator

  Allow simplify calling of element() method. Example:

ElementAccessor<3> elm_ac(mesh, index);
arma::vec centre;
centre = elm_ac.element()->node_idx(0);  // full format of access to element
centre = elm_ac->node_idx(0);            // short format with dereference operator

Definition at line 263 of file accessors.hh.

◆ operator==()

template<int spacedim>

bool ElementAccessor< spacedim >::operator== ( const ElementAccessor< spacedim > & other ) const

inline

Definition at line 244 of file accessors.hh.

◆ orig_nodes_order()

template<int spacedim>

auto& ElementAccessor< spacedim >::orig_nodes_order ( ) const

inline

Definition at line 240 of file accessors.hh.

Here is the caller graph for this function:

◆ proc()

template<int spacedim>

unsigned int ElementAccessor< spacedim >::proc ( ) const

inline

Definition at line 224 of file accessors.hh.

Here is the caller graph for this function:

◆ quality_measure_smooth()

template<int spacedim>

double ElementAccessor< spacedim >::quality_measure_smooth

inline

Quality of the element based on the smooth and scale-invariant quality measures proposed in: J. R. Schewchuk: What is a Good Linear Element?

We scale the measure so that is gives value 1 for regular elements. Line 1d elements have always quality 1.

We return signed value in order to detect inverted elements.

Definition at line 97 of file accessors_impl.hh.

◆ region()

template<int spacedim>

Region ElementAccessor< spacedim >::region ( ) const

inline

Definition at line 198 of file accessors.hh.

Here is the caller graph for this function:

◆ region_idx()

template<int spacedim>

RegionIdx ElementAccessor< spacedim >::region_idx ( ) const

inline

Definition at line 201 of file accessors.hh.

Here is the caller graph for this function:

◆ side() [1/2]

template<int spacedim>

SideIter ElementAccessor< spacedim >::side ( const unsigned int loc_index )

inline

Definition at line 131 of file accessors_impl.hh.

Here is the caller graph for this function:

◆ side() [2/2]

template<int spacedim>

const SideIter ElementAccessor< spacedim >::side ( const unsigned int loc_index ) const

inline

Definition at line 136 of file accessors_impl.hh.

◆ sign()

template<int spacedim>

double ElementAccessor< spacedim >::sign ( ) const

inline

Definition at line 121 of file accessors.hh.

Here is the caller graph for this function:

Member Data Documentation

◆ element_idx_

template<int spacedim>

unsigned int ElementAccessor< spacedim >::element_idx_

private

Index into Mesh::element_vec_ array.

Definition at line 279 of file accessors.hh.

◆ mesh_

template<int spacedim>

const MeshBase* ElementAccessor< spacedim >::mesh_

private

Pointer to the mesh owning the element.

Definition at line 276 of file accessors.hh.

◆ r_idx_

template<int spacedim>

RegionIdx ElementAccessor< spacedim >::r_idx_

private

Definition at line 283 of file accessors.hh.

◆ undefined_dim_

template<int spacedim>

const unsigned int ElementAccessor< spacedim >::undefined_dim_ = 100

staticprivate

When dim_ == undefined_dim_ ; the value of element_idx_ is invalid. Is used for ElementAccessors for whole region

Definition at line 273 of file accessors.hh.

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

/home/runner/work/flow123d/flow123d/src/fem/dh_cell_accessor.hh
/home/runner/work/flow123d/flow123d/src/mesh/accessors.hh
/home/runner/work/flow123d/flow123d/src/mesh/accessors_impl.hh

Public Member Functions

Private Attributes

Static Private Attributes

Detailed Description

template<int spacedim> class ElementAccessor< spacedim >

Constructor & Destructor Documentation

◆ ElementAccessor() [1/3]

◆ ElementAccessor() [2/3]

◆ ElementAccessor() [3/3]

Member Function Documentation

◆ bounding_box()

◆ centre()

◆ dim()

◆ element()

◆ idx()

◆ inc()

◆ input_id()

◆ inverted()

◆ is_elemental()

◆ is_regional()

◆ is_valid()

◆ jacobian_S1()

◆ jacobian_S2()

◆ jacobian_S3()

◆ measure()

◆ node()

◆ operator!=()

◆ operator->()

◆ operator==()

◆ orig_nodes_order()

◆ proc()

◆ quality_measure_smooth()

◆ region()

◆ region_idx()

◆ side() [1/2]

◆ side() [2/2]

◆ sign()

Member Data Documentation

◆ element_idx_

◆ mesh_

◆ r_idx_

◆ undefined_dim_

template<int spacedim>
class ElementAccessor< spacedim >