TrioCFD 1.9.9_beta
TrioCFD documentation
Loading...
Searching...
No Matches
Echange_contact_Correlation_VEF Class Reference

#include <Echange_contact_Correlation_VEF.h>

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

Public Member Functions

void mettre_a_jour (double) override
 Updates the velocity, fluid temperature, and heat exchange coefficient.
void completer () override
 Completes and initializes the class attributes.
virtual void imprimer (double) const
 Prints the results.
virtual int limpr (double, double) const
 Tests whether output printing is requested.
virtual double calculer_coefficient_echange (int i)
 Computes the heat exchange coefficient using the correlation specified in the data file.
double getU (int i) const
double getT (int i) const
double getMu (int i) const
double getLambda (int i) const
double getRho (int i) const
double getCp () const
double getDh (int i) const
double getQh () const
Public Member Functions inherited from Dirichlet
virtual double val_imp (int i) const
 Returns the imposed value on the i-th component of the field at the boundary at the default time of champ_front.
virtual double val_imp (int i, int j) const
 Returns the imposed value on the (i,j)-th component of the field at the boundary at the default time of champ_front.
virtual double val_imp_au_temps (double temps, int i) const
 Returns the imposed value on the i-th component of the field at the boundary at the specified time.
virtual double val_imp_au_temps (double temps, int i, int j) const
 Returns the imposed value on the (i,j)-th component of the field at the boundary at the specified time.
virtual const DoubleTab & tab_val_imp (double temps=DMAXFLOAT) const
const DoubleTab & tab_val_imp_au_temps (double temps) const
void verifie_ch_init_nb_comp () const override
 Calls the verification of the field read through the equation for which the boundary condition is considered.
Public Member Functions inherited from Cond_lim_base
virtual int initialiser (double temps)
 Initialization at the beginning of the calculation.
virtual void resetTime (double time)
virtual void calculer_coeffs_echange (double temps)
 Computation of exchange coefficients for coupling via Champ_front_contact_VEF.
virtual Frontiere_dis_basefrontiere_dis ()
 Returns the discretized boundary to which the boundary conditions apply.
virtual const Frontiere_dis_basefrontiere_dis () const
 Returns the discretized boundary to which the boundary conditions apply.
virtual void associer_fr_dis_base (const Frontiere_dis_base &)
 Associates the boundary with the object.
Domaine_Cl_dis_basedomaine_Cl_dis ()
 Returns the domain of discretized boundary conditions to which the object belongs.
const Domaine_Cl_dis_basedomaine_Cl_dis () const
 Returns the domain of discretized boundary conditions to which the object belongs.
virtual void associer_domaine_cl_dis_base (const Domaine_Cl_dis_base &)
 Associates the Domaine_Cl_dis_base (domain of discretized boundary conditions) with the object.
Champ_front_basechamp_front ()
const Champ_front_basechamp_front () const
virtual void set_temps_defaut (double temps)
 Changes the i-th future time of the BC.
virtual void fixer_nb_valeurs_temporelles (int nb_cases)
 Called by Conds_lim::completer. Calls 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
 Returns 1 if the boundary condition is compatible with the discretization passed as parameter.
virtual void injecter_dans_champ_inc (const Champ_Inc_base &) const
virtual int a_mettre_a_jour_ss_pas_dt ()
 Indicates whether this boundary condition must be updated during sub-time steps of a time scheme such as RK.
void set_modifier_val_imp (int)
 Sets the modifier_val_imp flag to the given value: - if drap == 1: modifier_val_imp=1.
virtual void changer_temps_futur (double temps, int i)
 Changes the i-th future time of the BC.
virtual int avancer (double temps)
 Rotates the wheel of the BC.
virtual int reculer (double temps)
 Rotates the wheel of the BC.
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
 Destructor. Removes the object from the list of objects registered in "memory".
int numero () const
 Returns the index of the object in Memoire::data.
virtual int duplique () const =0
virtual SortieprintOn (Sortie &) const
 Writes the object to an output stream. Virtual method to override.
virtual EntreereadOn (Entree &)
 Reads an Objet_U from an input stream. Virtual method to override.
virtual unsigned taille_memoire () const =0
virtual int est_egal_a (const Objet_U &) const
 Returns 1 if x and *this are the same instance (same memory address).
virtual const Nomle_nom () const
 Returns the name of the Objet_U. Virtual method to override: returns "neant" in this implementation.
virtual void nommer (const Nom &)
 Assigns a name to the Objet_U. Virtual method to override.
virtual int reprendre (Entree &)
 Restores an Objet_U from an input stream. Virtual method to override.
virtual int sauvegarder (Sortie &) const
 Saves an Objet_U to an output stream. Virtual method to override.
int get_object_id () const
 Returns the unique identifier of the object (object_id_).
virtual const Type_infoget_info () const
 Returns type information for the Objet_U.
const Nomque_suis_je () const
 Returns the string identifying the class.
const char * le_type () const
 Returns the type name of the Objet_U.
virtual int change_num (const int *const)
 Changes the internal number of the Objet_U.
virtual int associer_ (Objet_U &)
 Associates the Objet_U with another Objet_U. Virtual method to override.
const Interpreteinterprete () const
Interpreteinterprete ()
Public Member Functions inherited from Process
virtual ~Process ()

Protected Member Functions

void set_param (Param &param) const override
int lire_motcle_non_standard (const Motcle &, Entree &) override
 Reads non-simple-type parameters of an Objet_U from an input stream.
void calculer_CL ()
 Computes the boundary conditions to apply to the energy equation.
void calculer_Q ()
 Computes the volumetric power source term in the 1D fluid energy equation.
void calculer_prop_physique ()
 Computes rho, mu, and lambda of the fluid at the current temperature.
void init ()
void calculer_Vitesse ()
 Computes the velocity by mass conservation.
void calculer_Tfluide ()
 Computes the 1D fluid temperature by solving energy conservation.
void calculer_h_solide (DoubleTab &)
 Computes the local heat exchange coefficient in the solid cell.
double pdt_scalSqrt (const Domaine_VEF &, int, int, int, int, double)
double pdt_scal (const Domaine_VEF &, int, int, int, int, double)
double surfacesVEF (const Domaine_VEF &, int, int)
void init_tab_echange ()
 Initializes the tab_ech array for parallel execution.
Protected Member Functions inherited from Cond_lim_base
 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
 This method is called when the boundary condition is not compatible with the equation on which we try.
void err_pas_compatible (const Discretisation_base &) const
 This method is called when the boundary condition is not compatible with the discretization on which we try.
Protected Member Functions inherited from Objet_U
 Objet_U ()
 Default constructor: assigns a unique identifier to the object (object_id_) and registers the object in "memory" by giving it a num_obj number.
 Objet_U (const Objet_U &)
 Copy constructor.
const Objet_Uoperator= (const Objet_U &)
 Assignment operator: does nothing (the number and identifier are preserved).

Protected Attributes

IntVect correspondance_solide_fluide
DoubleTab autre_h
bool Reprise_temperature = false
double T_CL0 = -100.
double T_CL1 = -100.
double Tinf = -100.
double Tsup = -100.
int dir = -1
Parser_U lambda_T
Parser_U mu_T
Parser_U rho_T
Parser_U fct_Nu
Parser_U fct_vol
Parser_U fct_Dh
double dt_impr = -100.
double Cp = -100.
double debit = -100.
double xinf = -100.
double xsup = -100.
DoubleVect vol
DoubleVect coord
int N = -1
DoubleVect U
DoubleVect T
DoubleVect Qvol
DoubleVect rho
DoubleVect mu
DoubleVect lambda
DoubleVect diam
DoubleVect h_correlation
DoubleTab h_solide
DoubleVect flux_radiatif
Protected Attributes inherited from Dirichlet
DoubleTab tab_
Protected Attributes inherited from Cond_lim_base
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 ()
 Returns a constant reference to the case name. This method is static.
static Nomget_set_nom_du_cas ()
 Returns a non-constant reference to the case name (to allow modification). This method is static.
static const Type_infoinfo ()
 Returns type information for the Objet_U (static version).
static const Objet_Uself_cast (const Objet_U &)
 Method added for casting in Python.
static Objet_Uself_cast (Objet_U &)
Static Public Member Functions inherited from Process
static int me ()
 Returns the rank of the local processor in the current communication group. See Comm_Group::rank() and PE_Groups::current_group().
static int nproc ()
 Returns the number of processors in the current group. See Comm_Group::nproc() and PE_Groups::current_group().
static bool is_parallel ()
static void exit (int exit_code=-1)
 Exit routine for TRUST within a Kokkos region.
static double mp_sum (double)
 Computes the sum of x over all processors in the current group.
static float mp_sum (float)
static trustIdType mp_sum (trustIdType)
 Computes the sum of x over all processors in the current group.
static double mp_max (double)
static double mp_min (double)
static int mp_max (int)
 Returns the maximum value of x across all processors in the current group.
static int mp_min (int)
 Returns the minimum value of x across all processors in the current group.
static double mp_sum_as_double (int v)
static trustIdType mppartial_sum (trustIdType i)
 Computes the partial sum of x over processors 0 to me()-1 (returns 0 on processor 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)
 Computes the logical AND of b across all processors in the current group.
static bool mp_or (bool)
static int check_int_overflow (trustIdType)
static int je_suis_maitre ()
 Returns 1 if on the master processor of the current group (i.e. me() == 0), 0 otherwise.
static KOKKOS_INLINE_FUNCTION void Kokkos_exit (const char *)
 Exit routine for TRUST within a Kokkos region.
static int node_master ()
 Returns 1 if on the NUMA node master processor, 0 otherwise.
static void exit (const Nom &message, int exit_code=-1)
static bool is_sequential ()
static void barrier ()
 Synchronizes all processors in the current group (waits until all processors have reached the barrier).
static void abort ()
 Abort routine for TRUST on a fatal error.
static SortieJournal (int message_level=0)
 Returns a static Sortie object used as an event journal.
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

Definition at line 28 of file Echange_contact_Correlation_VEF.h.

Member Function Documentation

◆ calculer_CL()

void Echange_contact_Correlation_VEF::calculer_CL ( )
protected

Computes the boundary conditions to apply to the energy equation.

Definition at line 317 of file Echange_contact_Correlation_VEF.cpp.

◆ calculer_coefficient_echange()

double Echange_contact_Correlation_VEF::calculer_coefficient_echange ( int i)
virtual

Computes the heat exchange coefficient using the correlation specified in the data file.

Definition at line 380 of file Echange_contact_Correlation_VEF.cpp.

◆ calculer_h_solide()

void Echange_contact_Correlation_VEF::calculer_h_solide ( DoubleTab & tab)
protected

Computes the local heat exchange coefficient in the solid cell.

Definition at line 172 of file Echange_contact_Correlation_VEF.cpp.

◆ calculer_prop_physique()

void Echange_contact_Correlation_VEF::calculer_prop_physique ( )
protected

Computes rho, mu, and lambda of the fluid at the current temperature.

Definition at line 364 of file Echange_contact_Correlation_VEF.cpp.

◆ calculer_Q()

void Echange_contact_Correlation_VEF::calculer_Q ( )
protected

Computes the volumetric power source term in the 1D fluid energy equation.

Definition at line 394 of file Echange_contact_Correlation_VEF.cpp.

◆ calculer_Tfluide()

void Echange_contact_Correlation_VEF::calculer_Tfluide ( )
protected

Computes the 1D fluid temperature by solving energy conservation.

Definition at line 596 of file Echange_contact_Correlation_VEF.cpp.

◆ calculer_Vitesse()

void Echange_contact_Correlation_VEF::calculer_Vitesse ( )
protected

Computes the velocity by mass conservation.

Definition at line 586 of file Echange_contact_Correlation_VEF.cpp.

◆ completer()

void Echange_contact_Correlation_VEF::completer ( )
overridevirtual

Completes and initializes the class attributes.

Reimplemented from Cond_lim_base.

Definition at line 231 of file Echange_contact_Correlation_VEF.cpp.

◆ getCp()

double Echange_contact_Correlation_VEF::getCp ( ) const
inline

Definition at line 46 of file Echange_contact_Correlation_VEF.h.

◆ getDh()

double Echange_contact_Correlation_VEF::getDh ( int i) const
inline

Definition at line 47 of file Echange_contact_Correlation_VEF.h.

◆ getLambda()

double Echange_contact_Correlation_VEF::getLambda ( int i) const
inline

Definition at line 44 of file Echange_contact_Correlation_VEF.h.

◆ getMu()

double Echange_contact_Correlation_VEF::getMu ( int i) const
inline

Definition at line 43 of file Echange_contact_Correlation_VEF.h.

◆ getQh()

double Echange_contact_Correlation_VEF::getQh ( ) const
inline

Definition at line 48 of file Echange_contact_Correlation_VEF.h.

◆ getRho()

double Echange_contact_Correlation_VEF::getRho ( int i) const
inline

Definition at line 45 of file Echange_contact_Correlation_VEF.h.

◆ getT()

double Echange_contact_Correlation_VEF::getT ( int i) const
inline

Definition at line 42 of file Echange_contact_Correlation_VEF.h.

◆ getU()

double Echange_contact_Correlation_VEF::getU ( int i) const
inline

Definition at line 41 of file Echange_contact_Correlation_VEF.h.

◆ imprimer()

void Echange_contact_Correlation_VEF::imprimer ( double temps) const
virtual

Prints the results.

Definition at line 880 of file Echange_contact_Correlation_VEF.cpp.

◆ init()

void Echange_contact_Correlation_VEF::init ( )
protected

!! to be revisited

Definition at line 422 of file Echange_contact_Correlation_VEF.cpp.

◆ init_tab_echange()

void Echange_contact_Correlation_VEF::init_tab_echange ( )
protected

Initializes the tab_ech array for parallel execution.

Definition at line 311 of file Echange_contact_Correlation_VEF.cpp.

◆ limpr()

int Echange_contact_Correlation_VEF::limpr ( double temps_courant,
double dt ) const
virtual

Tests whether output printing is requested.

Definition at line 859 of file Echange_contact_Correlation_VEF.cpp.

◆ lire_motcle_non_standard()

int Echange_contact_Correlation_VEF::lire_motcle_non_standard ( const Motcle & motlu,
Entree & is )
overrideprotectedvirtual

Reads non-simple-type parameters of an Objet_U from an input stream.

Parameters
motluThe name of the keyword to read.
isAn input stream.
Returns
Negative value if the keyword is not understood, otherwise positive value.

Reimplemented from Objet_U.

Definition at line 98 of file Echange_contact_Correlation_VEF.cpp.

◆ mettre_a_jour()

void Echange_contact_Correlation_VEF::mettre_a_jour ( double temps)
overridevirtual

Updates the velocity, fluid temperature, and heat exchange coefficient.

Reimplemented from Cond_lim_base.

Definition at line 727 of file Echange_contact_Correlation_VEF.cpp.

◆ pdt_scal()

double Echange_contact_Correlation_VEF::pdt_scal ( const Domaine_VEF & le_dom,
int num_face,
int num2,
int num_elem,
int dim,
double diffu )
protected

Definition at line 999 of file Echange_contact_Correlation_VEF.cpp.

◆ pdt_scalSqrt()

double Echange_contact_Correlation_VEF::pdt_scalSqrt ( const Domaine_VEF & le_dom,
int num_face,
int num2,
int num_elem,
int dim,
double diffu )
protected

Definition at line 982 of file Echange_contact_Correlation_VEF.cpp.

◆ set_param()

void Echange_contact_Correlation_VEF::set_param ( Param & param) const
overrideprotectedvirtual

Reimplemented from Objet_U.

Definition at line 56 of file Echange_contact_Correlation_VEF.cpp.

◆ surfacesVEF()

double Echange_contact_Correlation_VEF::surfacesVEF ( const Domaine_VEF & le_dom,
int num_face,
int dim )
protected

Definition at line 1015 of file Echange_contact_Correlation_VEF.cpp.

Member Data Documentation

◆ autre_h

DoubleTab Echange_contact_Correlation_VEF::autre_h
protected

Definition at line 67 of file Echange_contact_Correlation_VEF.h.

◆ coord

DoubleVect Echange_contact_Correlation_VEF::coord
protected

Definition at line 85 of file Echange_contact_Correlation_VEF.h.

◆ correspondance_solide_fluide

IntVect Echange_contact_Correlation_VEF::correspondance_solide_fluide
protected

Definition at line 66 of file Echange_contact_Correlation_VEF.h.

◆ Cp

double Echange_contact_Correlation_VEF::Cp = -100.
protected

Definition at line 80 of file Echange_contact_Correlation_VEF.h.

◆ debit

double Echange_contact_Correlation_VEF::debit = -100.
protected

Definition at line 81 of file Echange_contact_Correlation_VEF.h.

◆ diam

DoubleVect Echange_contact_Correlation_VEF::diam
protected

Definition at line 90 of file Echange_contact_Correlation_VEF.h.

◆ dir

int Echange_contact_Correlation_VEF::dir = -1
protected

Definition at line 72 of file Echange_contact_Correlation_VEF.h.

◆ dt_impr

double Echange_contact_Correlation_VEF::dt_impr = -100.
protected

Definition at line 79 of file Echange_contact_Correlation_VEF.h.

◆ fct_Dh

Parser_U Echange_contact_Correlation_VEF::fct_Dh
protected

Definition at line 78 of file Echange_contact_Correlation_VEF.h.

◆ fct_Nu

Parser_U Echange_contact_Correlation_VEF::fct_Nu
protected

Definition at line 76 of file Echange_contact_Correlation_VEF.h.

◆ fct_vol

Parser_U Echange_contact_Correlation_VEF::fct_vol
protected

Definition at line 77 of file Echange_contact_Correlation_VEF.h.

◆ flux_radiatif

DoubleVect Echange_contact_Correlation_VEF::flux_radiatif
protected

Definition at line 93 of file Echange_contact_Correlation_VEF.h.

◆ h_correlation

DoubleVect Echange_contact_Correlation_VEF::h_correlation
protected

Definition at line 91 of file Echange_contact_Correlation_VEF.h.

◆ h_solide

DoubleTab Echange_contact_Correlation_VEF::h_solide
protected

Definition at line 92 of file Echange_contact_Correlation_VEF.h.

◆ lambda

DoubleVect Echange_contact_Correlation_VEF::lambda
protected

Definition at line 90 of file Echange_contact_Correlation_VEF.h.

◆ lambda_T

Parser_U Echange_contact_Correlation_VEF::lambda_T
protected

Definition at line 73 of file Echange_contact_Correlation_VEF.h.

◆ mu

DoubleVect Echange_contact_Correlation_VEF::mu
protected

Definition at line 90 of file Echange_contact_Correlation_VEF.h.

◆ mu_T

Parser_U Echange_contact_Correlation_VEF::mu_T
protected

Definition at line 74 of file Echange_contact_Correlation_VEF.h.

◆ N

int Echange_contact_Correlation_VEF::N = -1
protected

Definition at line 87 of file Echange_contact_Correlation_VEF.h.

◆ Qvol

DoubleVect Echange_contact_Correlation_VEF::Qvol
protected

Definition at line 89 of file Echange_contact_Correlation_VEF.h.

◆ Reprise_temperature

bool Echange_contact_Correlation_VEF::Reprise_temperature = false
protected

Definition at line 68 of file Echange_contact_Correlation_VEF.h.

◆ rho

DoubleVect Echange_contact_Correlation_VEF::rho
protected

Definition at line 90 of file Echange_contact_Correlation_VEF.h.

◆ rho_T

Parser_U Echange_contact_Correlation_VEF::rho_T
protected

Definition at line 75 of file Echange_contact_Correlation_VEF.h.

◆ T

DoubleVect Echange_contact_Correlation_VEF::T
protected

Definition at line 88 of file Echange_contact_Correlation_VEF.h.

◆ T_CL0

double Echange_contact_Correlation_VEF::T_CL0 = -100.
protected

Definition at line 70 of file Echange_contact_Correlation_VEF.h.

◆ T_CL1

double Echange_contact_Correlation_VEF::T_CL1 = -100.
protected

Definition at line 70 of file Echange_contact_Correlation_VEF.h.

◆ Tinf

double Echange_contact_Correlation_VEF::Tinf = -100.
protected

Definition at line 71 of file Echange_contact_Correlation_VEF.h.

◆ Tsup

double Echange_contact_Correlation_VEF::Tsup = -100.
protected

Definition at line 71 of file Echange_contact_Correlation_VEF.h.

◆ U

DoubleVect Echange_contact_Correlation_VEF::U
protected

Definition at line 88 of file Echange_contact_Correlation_VEF.h.

◆ vol

DoubleVect Echange_contact_Correlation_VEF::vol
protected

Definition at line 84 of file Echange_contact_Correlation_VEF.h.

◆ xinf

double Echange_contact_Correlation_VEF::xinf = -100.
protected

Definition at line 82 of file Echange_contact_Correlation_VEF.h.

◆ xsup

double Echange_contact_Correlation_VEF::xsup = -100.
protected

Definition at line 82 of file Echange_contact_Correlation_VEF.h.


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