// FICHIER : Loi_comp_abstraite.h
// CLASSE : Loi_comp_abstraite


// This file is part of the Herezh++ application.
//
// The finite element software Herezh++ is dedicated to the field
// of mechanics for large transformations of solid structures.
// It is developed by Gérard Rio (APP: IDDN.FR.010.0106078.000.R.P.2006.035.20600)
// INSTITUT DE RECHERCHE DUPUY DE LÔME (IRDL) <https://www.irdl.fr/>.
//
// Herezh++ is distributed under GPL 3 license ou ultérieure.
//
// Copyright (C) 1997-2022 Université Bretagne Sud (France)
// AUTHOR : Gérard Rio
// E-MAIL  : gerardrio56@free.fr
//
// This program is free software: you can redistribute it and/or modify
// it under the terms of the GNU General Public License as published by
// the Free Software Foundation, either version 3 of the License,
// or (at your option) any later version.
//
// This program is distributed in the hope that it will be useful,
// but WITHOUT ANY WARRANTY; without even the implied warranty
// of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.
// See the GNU General Public License for more details.
//
// You should have received a copy of the GNU General Public License
// along with this program. If not, see <https://www.gnu.org/licenses/>.
//
// For more information, please consult: <https://herezh.irdl.fr/>.

/************************************************************************
 *     DATE:        19/01/2001                                          *
 *                                                                $     *
 *     AUTEUR:      G RIO   (mailto:gerardrio56@free.fr)                *
 *                                                                $     *
 *     PROJET:      Herezh++                                            *
 *                                                                $     *
 ************************************************************************
 *     BUT:  Loi générique  pour les comportements mecaniques.          *
 *                                                                $     *
 *     ''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''     *                                                                      *
 *     VERIFICATION:                                                    *
 *                                                                      *
 *     !  date  !   auteur   !       but                          !     *
 *     ------------------------------------------------------------     *
 *     !        !            !                                    !     *
 *                                                                $     *
 *     ''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''     *
 *     MODIFICATIONS:                                                   *
 *     !  date  !   auteur   !       but                          !     *
 *     ------------------------------------------------------------     *
 *                                                                $     *
 ************************************************************************/

#ifndef LOI_COMP_ABSTRAITE_H
#define LOI_COMP_ABSTRAITE_H


#include "Enum_comp.h"
#include "Tableau_T.h"
#include "Tenseur.h"
#include "Deformation.h"
#include "LoiAbstraiteGeneral.h"
#include "ThermoDonnee.h"
#include "CompThermoPhysiqueAbstraite.h"
#include "TypeQuelconque.h"
#include "UmatAbaqus.h" 
#include "EnergieMeca.h"
#include "LesPtIntegMecaInterne.h"
#include "Temps_CPU_HZpp.h"
#include "Bloc.h"

class Loi_comp_abstraite : public LoiAbstraiteGeneral
{

	public :
  friend class LoiAdditiveEnSigma;
  friend class LoiDesMelangesEnSigma;
  friend class Loi_Umat;
  friend class LoiContraintesPlanes;
  friend class LoiContraintesPlanesDouble;
  friend class LoiDeformationsPlanes;
  friend class LoiCritere;
  friend class Projection_anisotrope_3D;
  friend class ElemMeca;

		// CONSTRUCTEURS :
		
		// Constructeur par defaut
		Loi_comp_abstraite () ;
		
		// Constructeur utile si l'identificateur du nom de la loi
		// de comportement et la dimension sont connus
		// vit_def indique si oui ou non la loi utilise la vitesse de déformation
		Loi_comp_abstraite (Enum_comp id_compor,Enum_categorie_loi_comp categorie_comp
		                    ,int dimension,bool vit_def = false
                      ,Enum_type_deformation type_de_def = DEFORMATION_STANDART);
		
		// Constructeur utile si l'identificateur du nom de la loi
		// de comportement et la dimension sont connus	
		// vit_def indique si oui ou non la loi utilise la vitesse de déformation
		Loi_comp_abstraite (char* nom,Enum_categorie_loi_comp categorie_comp
		                    ,int dimension,bool vit_def = false
                      ,Enum_type_deformation type_de_def = DEFORMATION_STANDART);
	
		// Constructeur de copie
		Loi_comp_abstraite (const Loi_comp_abstraite & a );
		 
		// DESTRUCTEUR VIRTUEL :
	
		virtual ~Loi_comp_abstraite ();
		
		
// 2) METHODES VIRTUELLES  public:
		
//----------------------------------------- classe SaveResul virtuelle pure --------------------------------- 
		// initialise les donnees particulieres a l'elements
		// de matiere traite ( c-a-dire au pt calcule)
		// Il y a creation d'une instance de SaveResul particuliere
		// a la loi concernee
		// la SaveResul classe est remplie par les instances heritantes
		// le pointeur de SaveResul est sauvegarde au niveau de l'element
		// c'a-d que les info particulieres au point considere sont stocke
		// au niveau de l'element et non de la loi.
		class SaveResul 
		 { public : 
		    // destructeur
	     virtual ~SaveResul() {};
            // définition d'une nouvelle instance identique
		    // appelle du constructeur via new 
		    virtual SaveResul * Nevez_SaveResul() const =0;
      // affectation
      // *** attention : dans le cas de grandeurs internes pointées:
      // les grandeurs pointées sont affectées, mais si elles sont de nature différente -> erreur
      // donc la surcharge n'est utilisable que pour des grandeurs que l'on sait de même nature !!!!!
      virtual SaveResul & operator = ( const SaveResul &) = 0;

	        //============= lecture écriture dans base info ==========
         // cas donne le niveau de la récupération
         // = 1 : on récupère tout
         // = 2 : on récupère uniquement les données variables (supposées comme telles)
	     virtual void Lecture_base_info (istream& ent,const int cas)  = 0;
         // cas donne le niveau de sauvegarde
         // = 1 : on sauvegarde tout
         // = 2 : on sauvegarde uniquement les données variables (supposées comme telles)
	     virtual void Ecriture_base_info(ostream& sort,const int cas) = 0;
	     
	     // mise à jour des informations transitoires en définitif s'il y a convergence 
	     // par exemple (pour la plasticité par exemple)
	     virtual void TdtversT() {};
	     virtual void TversTdt() {};
    
		    // affichage à l'écran des infos
		    virtual void Affiche() const = 0;
    
      //changement de base de toutes les grandeurs internes tensorielles stockées
      // beta(i,j) represente les coordonnees de la nouvelle base naturelle gpB dans l'ancienne gB
      // gpB(i) = beta(i,j) * gB(j), i indice de ligne, j indice de colonne
      // gpH(i) = gamma(i,j) * gH(j)
      virtual void ChBase_des_grandeurs(const Mat_pleine& beta,const Mat_pleine& gamma) = 0;

      // procedure permettant de completer éventuellement les données particulières
      // de la loi stockées
      // au niveau du point d'intégration par exemple: exemple: un repère d'anisotropie
      // completer est appelé apres sa creation avec les donnees du bloc transmis
      // peut etre appeler plusieurs fois
      // ramène  NULL si ne fait rien
      virtual SaveResul* Complete_SaveResul(const BlocGen & bloc, const Tableau <Coordonnee>& tab_coor
                                            ,const Loi_comp_abstraite* loi) = 0;
      // test si le conteneur est complet
      // = 1 tout est ok, =0 conteneur incomplet
      virtual int TestComplet()const {return 1;};

      // ramène la liste des types de grandeurs qui sont stocké, et éventuellement consultables
	 
	 
	     // ---- récupération d'information: spécifique à certaine classe dérivée
	     virtual double Deformation_plastique() 
	       { cout << "\n méthode non implanté pour cette loi de comportement"
	              << "\n SaveResul::Deformation_plastique()"; 
	         Sortie(1); return 0.;
        }	 
 
      // --- gestion d'une map de grandeurs quelconques éventuelles ---
      // la map de grandeurs quelconques qui est alimentée par les classes dérivées
      // il s'agit ici d'une map interne qui ne doit servir qu'aux classes loi de comportement
      // un exemple d'utilisation est une loi combinée qui a besoin de grandeurs spéciales définies

      // récupération des type quelconque sous forme d'un arbre pour faciliter la recherche
      virtual const map <  EnumTypeQuelconque , TypeQuelconque, std::less < EnumTypeQuelconque> >* Map_type_quelconque()
         const {return NULL;};
         
      // pour info, pour que la map soit fonctionnelle :  il faut: (cf. exemple de Hysteresis_bulk)
      //         - définir pour le stockage la méthode : Map_type_quelconque()
      //         - définir pour le stockage la méthode : Mise_a_jour_map_type_quelconque() et s'en servir dans le stockage
      //           local  (par ex: dans TdtversT() et TversTdt())
      //         - définir pour la loi la méthode: Insertion_conteneur_dans_save_result()
      //         - définir pour la loi la méthode: Activation_stockage_grandeurs_quelconques()
      
      // si on veut se servir  des grandeurs locales via une méthode générique de loi_comp_abstraite: ex:
      //  Loi_comp_abstraite::Loi_comp_Valeur_FnD_Evoluee pour l'accés à une fct nD (voir Hypo_hooke2D_C par ex)
      // on peut définir: Verif_et_preparation_acces_grandeurs_locale() -> remplissage de la map local
      // activation  de Verif_et_preparation_acces_grandeurs_locale: dans la lecture: .info et base_info

      // ---- fin gestion d'une liste de grandeurs quelconques éventuelles ---

   };

		virtual SaveResul * New_et_Initialise() { return NULL;};
		
		// affichage des donnees particulieres a l'elements
		// de matiere traite ( c-a-dire au pt calcule)
		virtual void AfficheDataSpecif(ostream& ,SaveResul * ) const {};
		
//----------------------------------------- classe SaveResul_C --------------------------------- 
// cette classe permet de gérer une ou plusieurs contraintes, qui peuvent conduire à annuler l'action des contraintes
// par exemple au-dessus d'une deformation seuil, on considère qu'il y a rupture, on annule donc la contraintes et la raideur éventuelle

		class SaveResul_C
		 { public : 
			  SaveResul_C():actif_t(true),actif(true) {}; // constructeur par défaut :
	        SaveResul_C(const SaveResul_C& sav):actif_t(sav.actif_t),actif(sav.actif){}; // de copie
	    virtual ~SaveResul_C(){}; // destructeur
			  // définition d'une nouvelle instance identique
		   // appelle du constructeur via new 
		   virtual SaveResul_C * Nevez_SaveResul_C() 
		     { SaveResul_C * pt = new SaveResul_C(); return pt;};		    
	      //============= lecture écriture dans base info ==========
          // cas donne le niveau de la récupération
          // = 1 : on récupère tout
          // = 2 : on récupère uniquement les données variables (supposées comme telles)
     virtual void Lecture_base_info (istream& ent,const int )
			    {string toto; ent >> toto >> actif_t ;};
          // cas donne le niveau de sauvegarde
          // = 1 : on sauvegarde tout
          // = 2 : on sauvegarde uniquement les données variables (supposées comme telles)
     virtual void Ecriture_base_info(ostream& sort,const int ) 
			    {sort << "\n  actif_t= " << actif_t << " ";};
	      
	    // mise à jour des informations transitoires en définitif s'il y a convergence 
	    // par exemple (pour la plasticité par exemple)
	    virtual void TdtversT() {actif_t=actif;};
	    virtual void TversTdt() {actif=actif_t;};
	        
	    // ramène la liste des types de grandeurs qui sont stocké, et éventuellement consultables
	    public :
		   bool actif,actif_t; // indique si actuellement c'est actif ou pas, et idem au pas précédent   
	        
   };


//----------------------------------------- fin classe SaveResul_C --------------------------------- 

		// définition du type de calcul de déformation sur une instance de déformation passée en paramètre
		void Def_type_deformation(Deformation & def);		

  // schema de calcul explicite à t
  virtual const Met_abstraite::Expli& Cal_explicit_t
                 (Loi_comp_abstraite::SaveResul * saveDon
                  ,Deformation & def, DdlElement & tab_ddl
                  ,PtIntegMecaInterne& ptintmeca,Tableau <TenseurBB *> & d_epsBB,double& Jacobien
                  ,CompThermoPhysiqueAbstraite::SaveResul * saveTP,CompThermoPhysiqueAbstraite* loiTP
                  ,bool dilatation,EnergieMeca & energ,const EnergieMeca & energ_t,bool premier_calcul
                  );
         
  // schema de calcul explicite à tdt
  virtual const Met_abstraite::Expli_t_tdt& Cal_explicit_tdt 
                 (Loi_comp_abstraite::SaveResul * saveDon
                  ,Deformation & def, DdlElement & tab_ddl
                  ,PtIntegMecaInterne& ptintmeca,Tableau <TenseurBB *> & d_epsBB,double& Jacobien
                  ,CompThermoPhysiqueAbstraite::SaveResul * saveTP,CompThermoPhysiqueAbstraite* loiTP
                  ,bool dilatation,EnergieMeca & energ,const EnergieMeca & energ_t,bool premier_calcul
                  );
         
  // schema implicit	
  virtual const Met_abstraite::Impli& Cal_implicit
                 (Loi_comp_abstraite::SaveResul * saveDon
                  ,Deformation & def,DdlElement & tab_ddl
	                 ,PtIntegMecaInterne& ptintmeca, Tableau <TenseurBB *>& d_epsBB_tdt,double& jacobien
		  	             ,Vecteur& d_jacobien_tdt,Tableau <TenseurHH *>& d_sigHH,const ParaAlgoControle & pa
		  	             ,CompThermoPhysiqueAbstraite::SaveResul * saveTP,CompThermoPhysiqueAbstraite* loiTP
		  	             ,bool dilatation,EnergieMeca & energ,const EnergieMeca & energ_t,bool premier_calcul
                  );
		  	
  // schema pour le flambage linéaire	
	 virtual void Cal_flamb_lin
                (Loi_comp_abstraite::SaveResul * saveDon,Deformation & def
                 ,DdlElement & tab_ddl
	                ,PtIntegMecaInterne& ptintmeca, Tableau <TenseurBB *>& d_epsBB_tdt,double& jacobien
	                ,Vecteur& d_jacobien_tdt,Tableau <TenseurHH *>& d_sigHH,const ParaAlgoControle & pa
		  	            ,CompThermoPhysiqueAbstraite::SaveResul * saveTP,CompThermoPhysiqueAbstraite* loiTP
		  	            ,bool dilatation,EnergieMeca & energ,const EnergieMeca & energ_t,bool premier_calcul
                 );
		
		// schema pour le calcul de la loi de comportement dans le cas de  l'umat 
  virtual void ComportementUmat
                ( Loi_comp_abstraite::SaveResul * saveDon
                 ,Deformation & def,PtIntegMecaInterne& ptintmeca
		  	            ,ParaAlgoControle & pa
		  	            ,CompThermoPhysiqueAbstraite::SaveResul * saveTP,CompThermoPhysiqueAbstraite* loiTP
		  	            ,bool dilatation,UmatAbaqus& umatAbaqusqus,bool premier_calcul
                 );
				 	

  // activation des données des noeuds et/ou elements nécessaires au fonctionnement de la loi
		// exemple: mise en service des ddl de température aux noeuds
		virtual void Activation_donnees(Tableau<Noeud *>& tabnoeud,bool dilatation,LesPtIntegMecaInterne& lesPtMecaInt)
		    {Activ_donnees(tabnoeud,dilatation,lesPtMecaInt);};
 
  // besoin de grandeurs particulières: la lois fournies la liste de grandeurs particulières dont elle
  // aimerait disposer des valeurs (qui ne sont donc pas directement disponibles)
  virtual void Besoin_de_grandeurs_particuliere(list <EnumTypeQuelconque >& listEnuQuelc)const {};

  // activation du stockage de grandeurs quelconques qui pourront ensuite être récupéré
  // via le conteneur SaveResul, si la grandeur n'existe pas ici, aucune action
		virtual void Activation_stockage_grandeurs_quelconques(list <EnumTypeQuelconque >& listEnuQuelc) {};
 
  // test pour savoir si une grandeur possiblement accessible en lecture
  // via le conteneur SaveResul,
  // ramène true si elle la grandeur existe pour la loi
		bool Existe_stockage_grandeurs_quelconques(EnumTypeQuelconque  enuQuelc) const
    {if (find(listdeTouslesQuelc_dispo_localement.begin(),listdeTouslesQuelc_dispo_localement.end(),enuQuelc)
        == listdeTouslesQuelc_dispo_localement.end())
     return false; else return true;
    };
 
  // insertion des conteneurs ad hoc concernant le stockage de grandeurs quelconques
  // passée en paramètre, dans le save result: ces conteneurs doivent être valides
  // c-a-d faire partie de listdeTouslesQuelc_dispo_localement
  virtual void Insertion_conteneur_dans_save_result(SaveResul * saveResul) {} ;
 
  // acces en lecture à la liste des grandeurs locales qui sont dispo localement via saveResul
  const list <EnumTypeQuelconque >& ListQuelc_mis_en_acces_localement() const {return listQuelc_mis_en_acces_localement;};
 
  // acces en lecture à la liste de tous les grandeurs locales qui pourraient être dispo localement via saveResul
  const list <EnumTypeQuelconque >& ListdeTouslesQuelc_dispo_localement() const {return listdeTouslesQuelc_dispo_localement;};
 
		// modification de l'indicateur de comportement tangent
		void Modif_comp_tangent_simplifie(bool modif)
		  { comp_tangent_simplifie = modif;};  	

  // test pour connaître l'état du comportement : simplifié ou non
  bool Test_loi_simplife()
    { return comp_tangent_simplifie;}; 
    
  // calcul d'un module d'young équivalent à la loi, ceci pour un
  // chargement nul
  virtual double Module_young_equivalent(Enum_dure temps,const Deformation & def,SaveResul * saveResul);
  // récupération d'un module de compressibilité équivalent à la loi, ceci pour un chargement nul
  // il s'agit ici de la relation -pression = sigma_trace/3. = module de compressibilité * I_eps
  virtual double Module_compressibilite_equivalent(Enum_dure temps,const Deformation & def,SaveResul * saveResul);
  // récupération d'un module de cisaillement  équivalent à la loi
  //       virtual double Module_cisaillement_equivalent(Deformation & def,PtIntegMecaInterne& ptintmeca);
 
  // récupération de la dernière déformation d'épaisseur calculée: cette déformaion n'est utile que pour des lois en contraintes planes ou doublement planes
  // - pour les lois 3D : retour d'un nombre très grand, indiquant que cette fonction est invalide
  // - pour les lois 2D def planes: retour de 0
  // les infos nécessaires à la récupération de la def, sont stockées dans saveResul
  // qui est le conteneur spécifique au point où a été calculé la loi
  virtual double Eps33BH(SaveResul * saveResul) const ;
 
  // récupération de la dernière déformation de largeur calculée: cette déformaion n'est utile que pour des lois en contraintes doublement planes
  // - pour les lois 3D et 2D : retour d'un nombre très grand, indiquant que cette fonction est invalide
  // les infos nécessaires à la récupération de la def, sont stockées dans saveResul
  // qui est le conteneur spécifique au point où a été calculé la loi
  virtual double Eps22BH(SaveResul * saveResul) const ;
 
  // récupération de la variation relative d'épaisseur calculée: h/h0
  //  cette variation n'est utile que pour des lois en contraintes planes
  // - pour les lois 3D : retour d'un nombre très grand, indiquant que cette fonction est invalide
  // - pour les lois 2D def planes: retour de 0
  // les infos nécessaires à la récupération , sont stockées dans saveResul
  // qui est le conteneur spécifique au point où a été calculé la loi
  virtual double HsurH0(SaveResul * saveResul) const = 0;
 
  // récupération de la variation relative d'épaisseur calculée: h/h0
  // et de sa variation par rapport aux ddls la concernant: d_hsurh0
  //  cette variation n'est utile que pour des lois en contraintes planes
  // - pour les lois 3D : retour d'un nombre très grand, indiquant que cette fonction est invalide
  // - pour les lois 2D def planes: retour de 0
  // les infos nécessaires à la récupération , sont stockées dans saveResul
  // qui est le conteneur spécifique au point où a été calculé la loi
  virtual double d_HsurH0(SaveResul * saveResul,Vecteur & d_hsurh0) const ;
 
  // récupération de la variation relative de largeur calculée: b/b0
  //  cette variation n'est utile que pour des lois en contraintes planes double
  // - pour les lois 3D et 2D : retour d'un nombre très grand, indiquant que cette fonction est invalide
  // les infos nécessaires à la récupération , sont stockées dans saveResul
  // qui est le conteneur spécifique au point où a été calculé la loi
  virtual double BsurB0(SaveResul * saveResul) const ;
 
  // récupération de la variation relative de largeur calculée: b/b0
  // et de sa variation par rapport aux ddls la concernant: d_bsurb0
  //  cette variation n'est utile que pour des lois en contraintes planes
  // - pour les lois 3D et 2D : retour d'un nombre très grand, indiquant que cette fonction est invalide
  // les infos nécessaires à la récupération , sont stockées dans saveResul
  // qui est le conteneur spécifique au point où a été calculé la loi
  virtual double d_BsurB0(SaveResul * saveResul,Vecteur & d_bsurb0) const ;

  // indique si la loi est en contraintes planes en s'appuyant sur un comportement 3D
  virtual bool Contraintes_planes_de_3D() const {return false;};
 
  // signale si la loi est thermo dépendante ou pas
  bool ThermoDependante() const {return thermo_dependant;};
 
  // mise à jour des températures d'une manière unilatérale: sert par exemple pour
  // le calcul du module d'young équivalent, quand il est calculé en dehors du calcul des contraintes
  void Mise_a_jour_temperature(Enum_dure temps,Deformation & def);

  // récupération des grandeurs particulière (hors ddl )
  // correspondant à liTQ
  // la liste d'entiers correspond à un décalage éventuel des tableaux de retour
  // absolue: indique si oui ou non on sort les tenseurs dans la base absolue ou une base particulière
  virtual void Grandeur_particuliere
        (bool absolue, List_io<TypeQuelconque>& ,Loi_comp_abstraite::SaveResul * ,list<int>& ) const {};
  // récupération de la liste de tous les grandeurs particulières
  // ces grandeurs sont ajoutées à la liste passées en paramètres
  // absolue: indique si oui ou non on sort les tenseurs dans la base absolue ou une base particulière
  virtual void ListeGrandeurs_particulieres(bool absolue,List_io<TypeQuelconque>& ) const {};
  
  // création d'une loi à l'identique et ramène un pointeur sur la loi créée
  virtual Loi_comp_abstraite* Nouvelle_loi_identique() const = 0;
 
  // récup du pointeur  si différent de Null, peut-être utilisés par les méthodes
  // internes
  const PtIntegMecaInterne* Ptintmeca_en_cours() const {return ptintmeca_en_cours;};
 
  // affichage de la signature du pti si c'est disponible
  void Signature_pti_encours(ostream& sort) const
   { if (ptintmeca_en_cours != NULL)
         sort << " mail: "<< ptintmeca_en_cours->Nb_mail() << " ele: "<< ptintmeca_en_cours->Nb_ele()
              << " npti: "<< ptintmeca_en_cours->Nb_pti() ;
   };
                   
  // affichage de la liste des grandeurs possible à calculer avec Valeur_multi_interpoler_ou_calculer
  static void Affichage_grandeurs_Valeur_multi_interpoler_ou_calculer();
                  
  // affichage de la liste des grandeurs possible à calculer avec Valeurs_Tensorielles_interpoler_ou_calculer
  static void Affichage_grandeurs_Valeurs_Tensorielles_interpoler_ou_calculer();

  // affichage de la liste des grandeurs possible à calculer avec Valeurs_quelconque_interpoler_ou_calculer
  static void Affichage_grandeurs_Valeurs_quelconque_interpoler_ou_calculer();
  
  // retourne le temps cpu utilisé par la loi
  const Temps_CPU_HZpp& Temp_CPU_loi() const {return temps_loi;};
  
	protected :
	
// 3) METHODES VIRTUELLES PURES protegees:
  // calcul des contraintes à un instant  t+deltat
  // les indices t se rapporte au pas précédent, sans indice au temps actuel
  virtual void Calcul_SigmaHH
     (TenseurHH & sigHH_t,TenseurBB& DepsBB,DdlElement & tab_ddl
      ,TenseurBB & gijBB_t,TenseurHH & gijHH_t,BaseB& giB,BaseH& gi_H,TenseurBB & epsBB
      ,TenseurBB & delta_epsBB,TenseurBB & gijBB,TenseurHH & gijHH,Tableau <TenseurBB *>& d_gijBB
      ,double& jacobien_0,double& jacobien,TenseurHH & sigHH
		  	 ,EnergieMeca & energ,const EnergieMeca & energ_t,double& module_compressibilite,double&  module_cisaillement
		  	 ,const Met_abstraite::Expli_t_tdt& ex) = 0;
        
  // calcul des contraintes et ses variations  par rapport aux ddl a t+dt
  virtual void Calcul_DsigmaHH_tdt
    (TenseurHH & sigHH_t,TenseurBB& DepsBB,DdlElement & tab_ddl
     ,BaseB& giB_t,TenseurBB & gijBB_t,TenseurHH & gijHH_t,BaseB& giB_tdt,Tableau <BaseB> & d_giB_tdt
     ,BaseH& giH_tdt,Tableau <BaseH> & d_giH_tdt,
     TenseurBB & epsBB_tdt,Tableau <TenseurBB *>& d_epsBB,TenseurBB & delta_epsBB,TenseurBB & gijBB_tdt,
     TenseurHH & gijHH_tdt,Tableau <TenseurBB *>& d_gijBB_tdt,
		  	Tableau <TenseurHH *>& d_gijHH_tdt,double& jacobien_0,double& jacobien,
		  	Vecteur& d_jacobien_tdt,TenseurHH& sigHH,Tableau <TenseurHH *>& d_sigHH
		  	,EnergieMeca & energ,const EnergieMeca & energ_t,double& module_compressibilite,double&  module_cisaillement
		  	,const Met_abstraite::Impli& ex) = 0;
		  	
  // calcul des contraintes et ses variations  par rapport aux déformations a t+dt
  // en_base_orthonormee:  le tenseur de contrainte en entrée est  en orthonormee
  //                  le tenseur de déformation et son incrémentsont également en orthonormees
  //                 si = false: les bases transmises sont utilisées
  // ex: contient les éléments de métrique relativement au paramétrage matériel = X_(0)^a
  virtual void Calcul_dsigma_deps
    (bool en_base_orthonormee, TenseurHH & sigHH_t,TenseurBB& DepsBB
     ,TenseurBB & epsBB_tdt,TenseurBB & delta_epsBB,double& jacobien_0,double& jacobien
		  	,TenseurHH& sigHH,TenseurHHHH& d_sigma_deps
		  	,EnergieMeca & energ,const EnergieMeca & energ_t,double& module_compressibilite,double&  module_cisaillement
		  	,const Met_abstraite::Umat_cont& ex) ; //= 0;
		  	
		// lecture éventuelle du type de déformation et du niveau de commentaire
		// on commence par passer une nouvelle donnee par defaut,
		// sinon il faut mettre avec_passage_nouvelle_donnee a false
		void Lecture_type_deformation_et_niveau_commentaire
    (UtilLecture& lec,LesFonctions_nD& lesFonctionsnD,bool avec_passage_nouvelle_donnee=true);
		// affichage des données de la classe comp_abstraite
		void Affiche_don_classe_abstraite() const ; 
		// affichage et definition interactive des commandes particulières à la classe loi_comp_abstraite
  void Info_commande_don_LoisDeComp(UtilLecture& entreePrinc) const ;

	 //----- lecture écriture de restart spécifique aux données de la classe -----
	 // cas donne le niveau de la récupération
     // = 1 : on récupère tout
     // = 2 : on récupère uniquement les données variables (supposées comme telles)
	 void Lecture_don_base_info(istream& ent,const int cas,LesReferences& lesRef,LesCourbes1D& lesCourbes1D
                                             ,LesFonctions_nD& lesFonctionsnD);
     // cas donne le niveau de sauvegarde
     // = 1 : on sauvegarde tout
     // = 2 : on sauvegarde uniquement les données variables (supposées comme telles)
	 void Ecriture_don_base_info(ostream& sort,const int cas) const;
     // activation des données des noeuds et/ou elements nécessaires au fonctionnement de la loi
     // exemple: mise en service des ddl de température aux noeuds
     // méthode appelée par Activation_donnees principal, ou des classes dérivées
     // ce qui permet de surcharger ces dernières
  void Activ_donnees(Tableau<Noeud *>& tabnoeud,bool dilatation,LesPtIntegMecaInterne& lesPtMecaInt);
     // calcul de grandeurs de travail aux points d'intégration via la def
     // fonction surchargée dans les classes dérivée si besoin est
  virtual void CalculGrandeurTravail
     (const PtIntegMecaInterne& ptintmeca,const Deformation & ,Enum_dure,const ThermoDonnee&
      ,const Met_abstraite::Impli* ex_impli
      ,const Met_abstraite::Expli_t_tdt* ex_expli_tdt
      ,const Met_abstraite::Umat_cont* ex_umat
      ,const List_io<Ddl_etendu>* exclure_dd_etend
      ,const List_io<const TypeQuelconque *>* exclure_Q
     ) = 0;
		// permet d'indiquer à la classe à quelle valeur de saveResult il faut se référer
		// en particulier est utilisé par les lois additives,
		// par contre doit être utilisé avec prudence 
		void IndiqueSaveResult(SaveResul * saveR) {saveResul = saveR;};
  // permet d'indiquer à la classe à quelle valeur de PtIntegMecaInterne il faut se référer
  // en particulier est utilisé par les lois additives,
  // par contre doit être utilisé avec prudence
  virtual void IndiquePtIntegMecaInterne(const PtIntegMecaInterne * ptintmeca) {ptintmeca_en_cours = ptintmeca;};
  // permet d'indiquer à la classe à quelle valeur de def_en_cours il faut se référer
  // en particulier est utilisé par les lois additives,
  // par contre doit être utilisé avec prudence
  void IndiqueDef_en_cours(Deformation * def_en_cours_) {def_en_cours = def_en_cours_;};

  // récupération de  valeurs interpolées pour les grandeur enu ou directement calculées
  // absolue: indique si oui ou non on sort les tenseurs dans la base absolue ou une base particulière
  // une seule des 3 métriques doit-être renseigné, les autres doivent être un pointeur nul
  // exclure_dd_etend: donne une liste de Ddl_enum_etendu à exclure de la recherche
  //          parce que par exemple, ils sont calculés par ailleurs
  // on peut également ne pas définir de métrique, dans ce cas on ne peut pas calculer certaines grandeurs
  //  -> il y a vérification
  Tableau <double> Valeur_multi_interpoler_ou_calculer
                   (bool absolue, Enum_dure temps,const List_io<Ddl_enum_etendu>& enu
                    ,const Met_abstraite::Impli* ex_impli
                    ,const Met_abstraite::Expli_t_tdt* ex_expli_tdt
                    ,const Met_abstraite::Umat_cont* ex_umat
                    ,const List_io<Ddl_enum_etendu>* exclure_dd_etend
                   );
  
  // récupération de  valeurs interpolées pour les grandeur enu
  // absolue: indique si oui ou non on sort les tenseurs dans la base absolue ou une base particulière
  // une seule des 3 métriques doit-être renseigné, les autres doivent être un pointeur nul
  // exclure_Q: donne une liste de grandeur quelconque à exclure de la recherche
  //          parce que par exemple, ils sont calculés par ailleurs
  // on peut également ne pas définir de métrique, dans ce cas on ne peut pas calculer certaines grandeurs
  //  -> il y a vérification
  void Valeurs_Tensorielles_interpoler_ou_calculer
                   (bool absolue, Enum_dure temps,List_io<TypeQuelconque>& enu
                    ,const Met_abstraite::Impli* ex_impli
                    ,const Met_abstraite::Expli_t_tdt* ex_expli_tdt
                    ,const Met_abstraite::Umat_cont* ex_umat
                    ,const List_io<EnumTypeQuelconque>* exclure_Q
                   );
 
 // récupération de  valeurs interpolées pour les grandeur ici considéré quelconque enu
 // ces grandeurs ne sont pas définies dans la liste des Ddl_enum_etendu : ex mises à t
 // ou le numéro de l'élément etc.
 // absolue: indique si oui ou non on sort les tenseurs dans la base absolue ou une base particulière
 // une seule des 3 métriques doit-être renseigné, les autres doivent être un pointeur nul
 // exclure_Q: donne une liste de grandeur quelconque à exclure de la recherche
 //          parce que par exemple, ils sont calculés par ailleurs
 // on peut également ne pas définir de métrique, dans ce cas on ne peut pas calculer certaines grandeurs
 //  -> il y a vérification
 // retour: la list li_quelc
 void Valeurs_quelconque_interpoler_ou_calculer
                  (bool absolue, Enum_dure temps
                   ,const Tableau <EnumTypeQuelconque>& tqi
                   ,List_io<TypeQuelconque>& li_quelc
                   ,const Met_abstraite::Impli* ex_impli
                   ,const Met_abstraite::Expli_t_tdt* ex_expli_tdt
                   ,const Met_abstraite::Umat_cont* ex_umat
                   ,const List_io<EnumTypeQuelconque>* exclure_Q
                  );

  // calcul de la valeur et retour dans tab_ret d'une fonction nD
  // à l'aide des grandeurs disponibles pour la loi de comportement
  // nb_retour: nombre de composantes attendues en retour, si > 0
  // deja_calculer: donne une liste de grandeur Ddl_enum_etendu et quelconque
  //          à exclure de la recherche car ils doivent avoir été calculés par ailleurs
  //          c'est une donnée d'entrée qui peut-être utilisée pour l'appel de la fonction nD
  // list_save : est censé contenir la ou les save_result à consulter pour avoir
  //              des infos supplémentaires
Tableau <double> &  Loi_comp_Valeur_FnD_Evoluee
                       (Fonction_nD* fct,int nb_retour
                        ,const Met_abstraite::Impli* ex_impli
                        ,const Met_abstraite::Expli_t_tdt* ex_expli_tdt
                        ,const Met_abstraite::Umat_cont* ex_umat
                        ,const List_io<Ddl_etendu>* deja_calculer_etend = NULL
                        ,const List_io<const TypeQuelconque *>* deja_calculer_Q = NULL
                        ,list <SaveResul*>* list_save = NULL
                        );

		//retourne le niveau d'affichage
  int Permet_affichage()
     { return( (permet_affich_loi_nD == NULL) ?
                 (permet_affich_loi == 0) ? ParaGlob::NiveauImpression() : permet_affich_loi
              : Cal_permet_affichage());};
     
  // lecture de l'affichage avec éventuellement une fonction nD
  void Lecture_permet_affichage(UtilLecture * entreePrinc,LesFonctions_nD& lesFonctionsnD);
  // sortie du niveau d'affichage
  void Affiche_niveau_affichage()const;
  void Affiche_niveau_affichage(ostream& sort,const int cas);
  void Lecture_permet_affichage(istream& ent,const int cas,LesFonctions_nD& lesFonctionsnD);

// VARIABLES PROTEGEES :
  // pointeur de travail utilise par les classes derivantes
  SaveResul * saveResul;
  // indic pour définir si oui ou non on utilise un comportement tangent simplifié
  bool comp_tangent_simplifie;
  // indication si l'on utilise ou pas la vitesse de déformation
  bool utilise_vitesse_deformation;
  // indication du type de déformation utilisée
  Enum_type_deformation type_de_deformation;
    

 private: // -- on veut un acces via une méthode
 
   // liste des grandeurs locales qui peuvent être accèdé localement via saveResul
   // cette liste nécessite d'être abondée par la méthode Activation_stockage_grandeurs_quelconques
   // qui doit être implantée dans les méthodes qui hérites
   list <EnumTypeQuelconque > listQuelc_mis_en_acces_localement;
   // la liste totale qui est construite au moment de la définition de la loi
   // cette liste est différente de listQuelc_mis_en_acces_localement qui est celle des grandeurs
   // réellement demandés pour une mise en place : rempli par les classes dérivées
   list <EnumTypeQuelconque > listdeTouslesQuelc_dispo_localement;
 
   const PtIntegMecaInterne* ptintmeca_en_cours; // si différent de Null, peut-être utilisés par les méthodes
                                                  // internes
 
   int permet_affich_loi; // pour permettre un affichage spécifique dans les méthodes,
                        // pour les erreurs et des warnings
   Fonction_nD * permet_affich_loi_nD; // fonction nD éventuelle pour l'affichage
   List_io <TypeQuelconque > li_quelconque; // stockage inter des grandeurs vraiment quelconques
      // qui sont ensuite transmise à *permet_affich_loi_nD s'il existe
   Tableau <const TypeQuelconque *  > tab_pt_li_quelconque;  // stockage de pointeurs de li_quelconque
      // pour le passage des infos à *permet_affich_loi_nD s'il existe

	protected :
 
   // --------- variables gérées en I/O par les classes dérivées -------
   //  et variables de travail
   
   // indique si oui ou non la loi dépend de la température
   bool thermo_dependant; // paramètre lue par les classes dérivées
   double temperature_0,temperature_t,temperature_tdt; // variables valides que si l'on est thermo_dependant
                       // utilisée par les classes dérivées
   double* temperature; // pointeur sur la température de travail (à 0, à t ou tdt)
   bool dilatation; // variable interne, qui est mise en route par l'appel de certaine fonction, comme celles
   Deformation * def_en_cours; // si différent de NULL, indique une déformation qui peut être utilisée par les
                               // classes dérivées
   Temps_CPU_HZpp   temps_loi; // spécifique à ce type de loi: cumule tous les appels
 
                    // du calcul de la contrainte
   // -------  variables de travail utilisées dans le cadre de la dilatation thermique : pour l'instant en locales
   // mais pourraient très bien être dimensionnées dans les éléments si on en avait besoin
   TenseurBB * epsBB_totale, * epsBB_therm;
   TenseurBB * delta_epsBB_totale, * delta_epsBB_therm;
   TenseurBB * DepsBB_totale, * DepsBB_therm; 
   TenseurBB * DepsBB_umat; // pour l'umat
   // fonction interne utilisée par les classes dérivées
   // répercussion éventuelle du changement de température dans les classes dérivées
   // permet par exemple aux lois qui comprennent eux même plusieurs lois de répercuter la modification de température
   // l'Enum_dure: indique quel est la température courante : 0 t ou tdt
   virtual void RepercuteChangeTemperature(Enum_dure ){};
 
   // calcul éventuel des invariants liés aux contraintes
   void CalculInvariants_contraintes(PtIntegMecaInterne& ptIntegMeca, TenseurBB & gijBB,TenseurHH & gijHH);
   // calcul éventuel des invariants liés uniquement à la cinématique
   void CalculInvariants_cinematique(PtIntegMecaInterne& ptIntegMeca, TenseurBB & gijBB,TenseurHH & gijHH);
 
   // acces à listdeTouslesQuelc_dispo_localement
   list <EnumTypeQuelconque >&  ListdeTouslesQuelc_dispo_localement()
      {return listdeTouslesQuelc_dispo_localement;};
   // idem pour listQuelc_mis_en_acces_localement
   list <EnumTypeQuelconque >&  ListQuelc_mis_en_acces_localement()
      {return listQuelc_mis_en_acces_localement;};
      
   // calcul l'affichage, si celui-ci dépend d'une fonction nD
   // ne doit être appelé que si la fonction nD existe (pas de vérification)
   // en fait est utilisé uniquement par la méthode inline: Permet_affichage()
   int Cal_permet_affichage();
 
};
//------------------ les fonctions templates -----------------------

//#include "ComLoi_comp_abstraite.h"

#endif
