TrioCFD 1.9.8
TrioCFD documentation
Loading...
Searching...
No Matches
Cond_lim_base Class Reference

classe Cond_lim_base Classe de base pour la hierarchie des classes qui representent les differentes conditions aux limites (Dirichlet, Neumann ...). More...

#include <Cond_lim_base.h>

Inheritance diagram for Cond_lim_base:
[legend]
Collaboration diagram for Cond_lim_base:
[legend]

Public Member Functions

virtual void completer ()
 NE FAIT RIEN A surcharger dans les classes derivees.
virtual int initialiser (double temps)
 Initialisation en debut de calcul.
virtual void mettre_a_jour (double temps)
 Effectue une mise a jour en temps de la condition aux limites.
virtual void resetTime (double time)
virtual void calculer_coeffs_echange (double temps)
 Calcul des coefficient d'echange pour un couplage par Champ_front_contact_VEF.
virtual void verifie_ch_init_nb_comp () const
 Appel la verification du champ lu par l intermediaire de l equation pour laquelle on considere la condition limite.
virtual Frontiere_dis_basefrontiere_dis ()
 Renvoie la frontiere discretisee a laquelle les conditions aux limites s'appliquent.
virtual const Frontiere_dis_basefrontiere_dis () const
 Renvoie la frontiere discretisee a laquelle les conditions aux limites s'appliquent.
virtual void associer_fr_dis_base (const Frontiere_dis_base &)
 Associe la frontiere a l'objet.
Domaine_Cl_dis_basedomaine_Cl_dis ()
 Renvoie le domaine des conditions aux limites discretisee dont l'objet fait partie.
const Domaine_Cl_dis_basedomaine_Cl_dis () const
 Renvoie le domaine des conditions aux limites discretisee dont l'objet fait partie.
virtual void associer_domaine_cl_dis_base (const Domaine_Cl_dis_base &)
 Associe le Domaine_Cl_dis_base (Domaine des conditions aux limites discretisees) a l'objet.
Champ_front_basechamp_front ()
const Champ_front_basechamp_front () const
virtual void set_temps_defaut (double temps)
 Change le i-eme temps futur de la cl.
virtual void fixer_nb_valeurs_temporelles (int nb_cases)
 Appele par Conds_lim::completer Appel cha_front_base::fixer_nb_valeurs_temporelles.
virtual void champ_front (int, DoubleVect &) const
virtual int compatible_avec_eqn (const Equation_base &) const
virtual int compatible_avec_discr (const Discretisation_base &) const
 Renvoie 1 si la condition aux limites est compatible avec la discretisation passee en parametre.
virtual void injecter_dans_champ_inc (const Champ_Inc_base &) const
virtual int a_mettre_a_jour_ss_pas_dt ()
 Cette methode indique si cette condition aux limites doit etre mise a jour dans des sous pas de temps d'un schema en temps tel que RK.
void set_modifier_val_imp (int)
 Positionne le drapeau modifier_val_imp a la valeur donnee : - si drap == 1 : modifier_val_imp=1.
virtual void changer_temps_futur (double temps, int i)
 Change le i-eme temps futur de la CL.
virtual int avancer (double temps)
 Tourne la roue de la CL.
virtual int reculer (double temps)
 Tourne la roue de la CL.
virtual bool is_bc_rayo_milieu_transp (Cond_lim_rayo_milieu_transp *&la_cl_rayo)
virtual bool is_bc_rayo_semi_transp (Cond_lim_rayo_semi_transp *&la_cl_rayo)
Public Member Functions inherited from Objet_U
 ~Objet_U () override
 Destructeur, supprime l'objet de la liste d'objets enregistres dans "memoire".
int numero () const
 Renvoie l'indice de l'objet dans Memoire::data.
virtual int duplique () const =0
virtual SortieprintOn (Sortie &) const
 Ecriture de l'objet sur un flot de sortie Methode a surcharger.
virtual EntreereadOn (Entree &)
 Lecture d'un Objet_U sur un flot d'entree Methode a surcharger.
virtual unsigned taille_memoire () const =0
virtual int est_egal_a (const Objet_U &) const
 Renvoie 1 si l'objet x et *this sont une seule et meme instance (meme adresse en memoire).
virtual const Nomle_nom () const
 Donne le nom de l'Objet_U Methode a surcharger : renvoie "neant" dans cette implementation.
virtual void nommer (const Nom &)
 Donne un nom a l'Objet_U Methode virtuelle a surcharger.
virtual int reprendre (Entree &)
 Reprise d'un Objet_U sur un flot d'entree Methode a surcharger.
virtual int sauvegarder (Sortie &) const
 Sauvegarde d'un Objet_U sur un flot de sortie Methode a surcharger.
int get_object_id () const
 Renvoie l'identifiant unique de l'objet object_id_.
virtual const Type_infoget_info () const
 Donne des informations sur le type de l'Objet_U.
const Nomque_suis_je () const
 renvoie la chaine identifiant la classe.
const char * le_type () const
 Donne le nom du type de l'Objet_U.
virtual int change_num (const int *const)
 Change le numero interne de l'Objet_U.
virtual int lire_motcle_non_standard (const Motcle &motlu, Entree &is)
 Lecture des parametres de type non simple d'un objet_U a partir d'un flot d'entree.
virtual int associer_ (Objet_U &)
 Associe l'Objet_U a un autre Objet_U Methode virtuelle a surcharger.
const Interpreteinterprete () const
Interpreteinterprete ()
Public Member Functions inherited from Process
virtual ~Process ()

Protected Member Functions

 OWN_PTR (Champ_front_base) le_champ_front
 OBS_PTR (Domaine_Cl_dis_base) mon_dom_cl_dis
void err_pas_compatible (const Equation_base &) const
 Cette methode est appelee quand la condition aux limites n'est pas compatible avec l'equation sur laquelle on essaye.
void err_pas_compatible (const Discretisation_base &) const
 Cette methode est appelee quand la condition aux limites n'est pas compatible avec la discretisation sur laquelle on essaye.
Protected Member Functions inherited from Objet_U
 Objet_U ()
 Constructeur par defaut : attribue un numero d'identifiant unique a l'objet (object_id_), et enregistre l'objet en "memoire".
 Objet_U (const Objet_U &)
 Constructeur par copie.
const Objet_Uoperator= (const Objet_U &)
 Operateur= : ne fait rien (on conserve le numero et l'identifiant).
virtual void set_param (Param &) const

Protected Attributes

std::vector< Motcleapp_domains
std::vector< Nomsupp_discs
int modifier_val_imp = 0

Additional Inherited Members

Static Public Member Functions inherited from Objet_U
static const Nomnom_du_cas ()
 Renvoie une reference constante vers le nom du cas.
static Nomget_set_nom_du_cas ()
 Renvoie une reference non constante vers le nom du cas (pour pouvoir le modifier).
static const Type_infoinfo ()
 Donne des informations sur le type de l'Objet_U.
static const Objet_Uself_cast (const Objet_U &)
 methode ajoutee pour caster en python
static Objet_Uself_cast (Objet_U &)
Static Public Member Functions inherited from Process
static int me ()
 renvoie mon rang dans le groupe de communication courant.
static int nproc ()
 renvoie le nombre de processeurs dans le groupe courant Voir Comm_Group::nproc() et PE_Groups::current_group()
static bool is_parallel ()
static void exit (int exit_code=-1)
 Routine de sortie de TRUST dans une region Kokkos.
static double mp_sum (double)
 Calcule la somme de x sur tous les processeurs du groupe courant.
static float mp_sum (float)
static trustIdType mp_sum (trustIdType)
 Calcule la somme de x sur tous les processeurs du groupe courant.
static double mp_max (double)
static double mp_min (double)
static int mp_max (int)
 renvoie le plus grand int i sur l'ensemble des processeurs du groupe courant.
static int mp_min (int)
 renvoie le plus petit int i sur l'ensemble des processeurs du groupe courant.
static double mp_sum_as_double (int v)
static trustIdType mppartial_sum (trustIdType i)
 Calul de la somme partielle de i sur les processeurs 0 a me()-1 (renvoie 0 sur le processeur 0).
template<typename T>
static void mp_sum_for_each (T &arg1, T &arg2)
 C++14 compatible mp_sum_for_each: combine multiple mp_sum calls into one collective operation Usage: mp_sum_for_each(a, b); mp_sum_for_each(a, b, c); mp_sum_for_each(a, b, c, d); mp_sum_for_each(a, b, c, d, e); All arguments must be of the same type (double or int) and are modified in place. Supports 2-5 parameters.
template<typename T>
static void mp_sum_for_each (T &arg1, T &arg2, T &arg3)
template<typename T>
static void mp_sum_for_each (T &arg1, T &arg2, T &arg3, T &arg4)
template<typename T>
static void mp_sum_for_each (T &arg1, T &arg2, T &arg3, T &arg4, T &arg5)
template<typename T>
static void mp_max_for_each (T &arg1, T &arg2)
 C++14 compatible mp_max_for_each: combine multiple mp_max calls into one collective operation.
template<typename T>
static void mp_max_for_each (T &arg1, T &arg2, T &arg3)
template<typename T>
static void mp_max_for_each (T &arg1, T &arg2, T &arg3, T &arg4)
template<typename T>
static void mp_max_for_each (T &arg1, T &arg2, T &arg3, T &arg4, T &arg5)
template<typename T>
static void mp_min_for_each (T &arg1, T &arg2)
 C++14 compatible mp_min_for_each: combine multiple mp_min calls into one collective operation.
template<typename T>
static void mp_min_for_each (T &arg1, T &arg2, T &arg3)
template<typename T>
static void mp_min_for_each (T &arg1, T &arg2, T &arg3, T &arg4)
template<typename T>
static void mp_min_for_each (T &arg1, T &arg2, T &arg3, T &arg4, T &arg5)
template<typename _TYPE_>
static void mp_sum_for_each_item (TRUSTArray< _TYPE_ > &x, int n=-1)
template<typename _TYPE_>
static void mp_max_for_each_item (TRUSTArray< _TYPE_ > &x, int n=-1)
template<typename _TYPE_>
static void mp_min_for_each_item (TRUSTArray< _TYPE_ > &x, int n=-1)
static bool mp_and (bool)
 Calcule le 'et' logique de b sur tous les processeurs du groupe courant.
static bool mp_or (bool)
static int check_int_overflow (trustIdType)
static int je_suis_maitre ()
 renvoie 1 si on est sur le processeur maitre du groupe courant (c'est a dire me() == 0), 0 sinon.
static KOKKOS_INLINE_FUNCTION void Kokkos_exit (const char *)
 Routine de sortie de TRUST dans une region Kokkos.
static int node_master ()
 renvoie 1 si on est sur le processeur maitre du noeud numa, 0 sinon.
static void exit (const Nom &message, int exit_code=-1)
static bool is_sequential ()
static void barrier ()
 Synchronise tous les processeurs du groupe courant (attend que tous les processeurs soient arrives a la barriere).
static void abort ()
 Routine de sortie de Trio-U sur une erreur abort().
static SortieJournal (int message_level=0)
 Renvoie un objet statique de type Sortie qui sert de journal d'evenements.
static double ram_processeur ()
static void imprimer_ram_totale (int all_process=0)
static bool force_single_file (const int ranks, const Nom &filename)
Static Public Attributes inherited from Objet_U
static double precision_geom = 1e-10
static constexpr bool HAS_POINTER = false
static int dimension =0
static int format_precision_geom =11
static int axi =0
static int bidim_axi =0
static int DEACTIVATE_SIGINT_CATCH =0
static Type_info info_obj
static bool disable_TU =false
 Flag to disable or not the writing of the .TU files.
static bool stat_per_proc_perf_log =false
 Flag to enable the writing of the statistics detailed per processor in _csv.TU file.
Static Public Attributes inherited from Process
static int exception_sur_exit =0
static int multiple_files =5120

Detailed Description

classe Cond_lim_base Classe de base pour la hierarchie des classes qui representent les differentes conditions aux limites (Dirichlet, Neumann ...).

Un objet condition aux limite sert a definir, pour une equation donnee, les conditions aux limites a appliquer sur une frontiere d'un domaine.
Chaque objet Cond_lim_base contient une reference vers l'objet Domaine_Cl_dis_base dont il fait partie.
Chaque objet contient egalement un objet OWN_PTR(Champ_front_base) contenant les valeurs a imposer sur la frontiere.
See also
Cond_lim Domaine_Cl_dis_base Frontiere_dis_base, Classe abstraite dont toutes les objets representant des conditions, aux limites doivent deriver., Methode abstraite:, int compatible_avec_eqn(const Equation_base&) const

Definition at line 39 of file Cond_lim_base.h.

Member Function Documentation

◆ a_mettre_a_jour_ss_pas_dt()

int Cond_lim_base::a_mettre_a_jour_ss_pas_dt ( )
virtual

Cette methode indique si cette condition aux limites doit etre mise a jour dans des sous pas de temps d'un schema en temps tel que RK.

Par defaut elle renvoie 0 pour indiquer qu'aucune mise a jour n'est necessaire ; il faut la surcharger pour renvoyer 1 au besoin (exemple Echange_impose_base)

Parameters
(doubletemps) le pas de temps de mise a jour

Reimplemented in Echange_impose_base.

Definition at line 116 of file Cond_lim_base.cpp.

◆ associer_domaine_cl_dis_base()

void Cond_lim_base::associer_domaine_cl_dis_base ( const Domaine_Cl_dis_base & zcl)
virtual

Associe le Domaine_Cl_dis_base (Domaine des conditions aux limites discretisees) a l'objet.

Ce Domaine_Cl_dis_base stocke (reference) toutes les conditions aux limites relative a un Domaine geometrique.

Parameters
(Domaine_Cl_dis_base&zcl) un Domaine des conditions aux limites discretisees a laquelle l'objet Cond_lim_base se rapporte

Reimplemented in Courant_impose, Dirichlet_loi_paroi, Echange_global_impose_turbulent, and Frottement_impose_base.

Definition at line 170 of file Cond_lim_base.cpp.

◆ associer_fr_dis_base()

void Cond_lim_base::associer_fr_dis_base ( const Frontiere_dis_base & fr)
virtual

Associe la frontiere a l'objet.

L'objet Frontiere_dis_base est en fait associe au membre OWN_PTR(Champ_front_base) de l'objet Cond_lim_base qui represente le champ des conditions aux limites imposees a la frontiere.

Parameters
(Frontiere_dis_base&fr) la frontiere sur laquelle on impose les conditions aux limites

Reimplemented in Dirichlet_loi_paroi, Echange_global_impose_turbulent, Echange_impose_base, Echange_interne_impose, Frottement_impose_base, and Neumann_sortie_libre.

Definition at line 156 of file Cond_lim_base.cpp.

◆ avancer()

◆ calculer_coeffs_echange()

void Cond_lim_base::calculer_coeffs_echange ( double temps)
virtual

Calcul des coefficient d'echange pour un couplage par Champ_front_contact_VEF.

Ces calculs sont locaux au probleme et dependant uniquement de l'inconnue. Ils doivent donc etre faits chaque fois que l'inconnue est modifiee. Ils sont disponibles pour l'exterieur et stockes dans les CLs. WEC : Les Champ_front_contact_VEF devraient disparaitre et cette methode avec !!!

Parameters
(doubletemps) le pas de temps de mise a jour

Reimplemented in Dirichlet_loi_paroi, Echange_global_impose_turbulent, and Frottement_impose_base.

Definition at line 132 of file Cond_lim_base.cpp.

◆ champ_front() [1/3]

Champ_front_base & Cond_lim_base::champ_front ( )
inline

Definition at line 137 of file Cond_lim_base.h.

◆ champ_front() [2/3]

const Champ_front_base & Cond_lim_base::champ_front ( ) const
inline

Definition at line 142 of file Cond_lim_base.h.

◆ champ_front() [3/3]

void Cond_lim_base::champ_front ( int face,
DoubleVect & var ) const
virtual

Definition at line 218 of file Cond_lim_base.cpp.

◆ changer_temps_futur()

◆ compatible_avec_discr()

int Cond_lim_base::compatible_avec_discr ( const Discretisation_base & discr) const
virtual

Renvoie 1 si la condition aux limites est compatible avec la discretisation passee en parametre.

Parameters
(Discretisation_base&)la discretisation avec laquelle on veut verifier la compatibilite

Reimplemented in Echange_global_impose, and Echange_interne_global_parfait.

Definition at line 180 of file Cond_lim_base.cpp.

◆ compatible_avec_eqn()

◆ completer()

void Cond_lim_base::completer ( )
virtual

NE FAIT RIEN A surcharger dans les classes derivees.

Reimplemented in Cond_lim_k_complique_transition_flux_nul_demi, Cond_lim_k_simple_flux_nul, Cond_lim_omega_demi, Cond_lim_omega_dix, Courant_impose, Dirichlet_loi_paroi, Dirichlet_paroi_defilante, Echange_contact_Correlation_VDF, Echange_contact_Correlation_VEF, Echange_contact_PolyMAC_CDO, Echange_contact_rayo_semi_transp_VDF, Echange_contact_rayo_transp_VDF, Echange_contact_VDF, Echange_contact_VDF_FT_Disc, Echange_contact_VDF_FT_Disc_solid, Echange_couplage_thermique, Echange_externe_impose_H, Echange_externe_impose_rayo_semi_transp, Echange_externe_impose_rayo_transp, Echange_global_impose, Echange_global_impose_rayo_semi_transp, Echange_interne_global_impose, Echange_interne_impose, Entree_fluide_temperature_imposee_H, Flux_radiatif_base, Frontiere_ouverte_rayo_semi_transp, Frontiere_ouverte_rayo_transp, Frontiere_ouverte_rho_u_impose, Frontiere_ouverte_temperature_imposee_rayo_semi_transp, Frontiere_ouverte_temperature_imposee_rayo_transp, Frottement_impose_base, Neumann_paroi_rayo_semi_transp_VDF, Neumann_paroi_rayo_semi_transp_VEF, Neumann_sortie_libre_Temp_H, Paroi_flux_impose_rayo_transp, Paroi_flux_impose_rayo_transp_VDF, Paroi_flux_impose_rayo_transp_VEF, Paroi_frottante_loi, Paroi_frottante_simple, Paroi_Knudsen_non_negligeable, Periodique, Robin_VEF, Sortie_libre_Gradient_Pression_impose, Sortie_libre_Gradient_Pression_libre_VEF, Sortie_libre_Gradient_Pression_libre_VEFPreP1B, Sortie_libre_pression_imposee, Sortie_libre_Pression_imposee_Orlansky, Sortie_libre_pression_imposee_QC, Sortie_libre_pression_moyenne_imposee, Sortie_libre_rho_variable, Temperature_imposee_paroi_H, Temperature_imposee_paroi_rayo_semi_transp, and Temperature_imposee_paroi_rayo_transp.

Definition at line 31 of file Cond_lim_base.cpp.

◆ domaine_Cl_dis() [1/2]

Domaine_Cl_dis_base & Cond_lim_base::domaine_Cl_dis ( )
inline

Renvoie le domaine des conditions aux limites discretisee dont l'objet fait partie.

Returns
(Domaine_Cl_dis_base&) le domaine des conditions aux limites discretisee dont l'objet fait partie

Definition at line 121 of file Cond_lim_base.h.

◆ domaine_Cl_dis() [2/2]

const Domaine_Cl_dis_base & Cond_lim_base::domaine_Cl_dis ( ) const
inline

Renvoie le domaine des conditions aux limites discretisee dont l'objet fait partie.

(version const)

Returns
(Domaine_Cl_dis_base&) le domaine des conditions aux limites discretisee dont l'objet fait partie

Definition at line 132 of file Cond_lim_base.h.

◆ err_pas_compatible() [1/2]

void Cond_lim_base::err_pas_compatible ( const Discretisation_base & discr) const
protected

Cette methode est appelee quand la condition aux limites n'est pas compatible avec la discretisation sur laquelle on essaye.

de l'appliquer.

Parameters
(Discretisation_base&discr) la discretisation avec laquelle la condition aux limites est incompatible

Definition at line 212 of file Cond_lim_base.cpp.

◆ err_pas_compatible() [2/2]

void Cond_lim_base::err_pas_compatible ( const Equation_base & eqn) const
protected

Cette methode est appelee quand la condition aux limites n'est pas compatible avec l'equation sur laquelle on essaye.

de l'appliquer.

Parameters
(Equation_base&eqn) l'equation avec laquelle la condition aux limites est incompatible

Definition at line 200 of file Cond_lim_base.cpp.

◆ fixer_nb_valeurs_temporelles()

void Cond_lim_base::fixer_nb_valeurs_temporelles ( int nb_cases)
virtual

Appele par Conds_lim::completer Appel cha_front_base::fixer_nb_valeurs_temporelles.

Reimplemented in Dirichlet_loi_paroi, Echange_global_impose_turbulent, Echange_impose_base, Echange_interne_impose, Frottement_impose_base, and Neumann_sortie_libre.

Definition at line 240 of file Cond_lim_base.cpp.

◆ frontiere_dis() [1/2]

Frontiere_dis_base & Cond_lim_base::frontiere_dis ( )
inlinevirtual

Renvoie la frontiere discretisee a laquelle les conditions aux limites s'appliquent.

Returns
(Frontiere_dis_base&) la frontiere discretisee a laquelle les conditions aux limites sont associees

Reimplemented in Dirichlet_loi_paroi, Echange_global_impose_turbulent, and Frottement_impose_base.

Definition at line 101 of file Cond_lim_base.h.

◆ frontiere_dis() [2/2]

const Frontiere_dis_base & Cond_lim_base::frontiere_dis ( ) const
inlinevirtual

Renvoie la frontiere discretisee a laquelle les conditions aux limites s'appliquent.

(version const)

Returns
(Frontiere_dis_base&) la frontiere discretisee a laquelle les conditions aux limites sont associees

Reimplemented in Dirichlet_loi_paroi, Echange_global_impose_turbulent, and Frottement_impose_base.

Definition at line 112 of file Cond_lim_base.h.

◆ initialiser()

◆ injecter_dans_champ_inc()

void Cond_lim_base::injecter_dans_champ_inc ( const Champ_Inc_base & ) const
virtual

Definition at line 223 of file Cond_lim_base.cpp.

◆ is_bc_rayo_milieu_transp()

◆ is_bc_rayo_semi_transp()

◆ mettre_a_jour()

◆ OBS_PTR()

Cond_lim_base::OBS_PTR ( Domaine_Cl_dis_base )
protected

◆ OWN_PTR()

Cond_lim_base::OWN_PTR ( Champ_front_base )
protected

◆ reculer()

int Cond_lim_base::reculer ( double temps)
virtual

◆ resetTime()

void Cond_lim_base::resetTime ( double time)
virtual

Definition at line 103 of file Cond_lim_base.cpp.

◆ set_modifier_val_imp()

void Cond_lim_base::set_modifier_val_imp ( int drap)
inline

Positionne le drapeau modifier_val_imp a la valeur donnee : - si drap == 1 : modifier_val_imp=1.

  • sinon : modifier_val_imp=0 Ce drapeau permet a la CL de savoir si elle doit renvoyer la valeur stockee telle quelle, ou si elle doit la traduire pour l'objet appelant A la CL de savoir ensuite quelle traduction faire. Voir application dans Temperature_imposee_paroi_H, ou la CL renvoie l'enthalpie par defaut (modifier_val_imp=1), ou la temperature sinon (cas de l'operateur de diffusion) Le drapeau est positionne dans le equation.derivee_en_temps_inco selon l'operateur qui va etre appele
Parameters
(drap)valeur a donner au drapeau

Definition at line 160 of file Cond_lim_base.h.

◆ set_temps_defaut()

void Cond_lim_base::set_temps_defaut ( double temps)
virtual

◆ verifie_ch_init_nb_comp()

void Cond_lim_base::verifie_ch_init_nb_comp ( ) const
virtual

Appel la verification du champ lu par l intermediaire de l equation pour laquelle on considere la condition limite.

La methode est surchargee dans les cas ou l utilisateur doit specifier le champ frontiere

Reimplemented in CL_Contrainte_Imposee, Courant_impose, Dirichlet, Dirichlet_loi_paroi, Echange_contact_PolyMAC_HFV, Echange_global_impose_rayo_semi_transp, Echange_global_impose_turbulent, Echange_interne_global_impose, Echange_interne_impose, Frottement_impose_base, Neumann_paroi, and Neumann_sortie_libre.

Definition at line 143 of file Cond_lim_base.cpp.

Member Data Documentation

◆ app_domains

std::vector<Motcle> Cond_lim_base::app_domains
protected

Definition at line 86 of file Cond_lim_base.h.

◆ modifier_val_imp

int Cond_lim_base::modifier_val_imp = 0
protected

Definition at line 94 of file Cond_lim_base.h.

◆ supp_discs

std::vector<Nom> Cond_lim_base::supp_discs
protected

Definition at line 87 of file Cond_lim_base.h.


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