plJointDistribution.h

/*=============================================================================
 * Product        : OpenPL 
 * File           : plJointDistribution.h (plDescription.h)
 * Author         : Juan-Manuel Ahuactzin
 * Creation       : Wed Mar 21 13:54:44 2001
 *
 *=============================================================================
 *     (c) Copyright 2000, Centre National de la Recherche Scientifique,
 *                              all rights reserved
 *=============================================================================
 *
 *------------------------- Description ---------------------------------------
 *   
 *   
 *-----------------------------------------------------------------------------
 */

#ifndef _plJointDistribution_h
#define _plJointDistribution_h

#include <plVariablesConjunction.h>
#include <plKernel.h>
#include <plTechniquesTypes.h>


#define PL_USE_SUCC_RES_SIMPLIF



/*****************************************************************************
 *                           Classes Definitions
 *****************************************************************************/


//=============================================================================
class plJointDistribution : public plKernel
{
  
  void check_variables(const plVariablesConjunction &search_params,
                       const plVariablesConjunction &known_params)const;
                       
  void check_variables(const plVariablesConjunction &search_params)const;

public:

  static plJointDistribution *_global_jd;

  plJointDistribution (const plVariablesConjunction &all_params, 
               const plKernel  &f);
                       
  explicit plJointDistribution (const plKernel  &f);

  plJointDistribution (const plVariablesConjunction &all_params, 
               const plComputableObjectList &decomposition);
                       
  explicit plJointDistribution (const plComputableObjectList &decomposition);


  virtual ~plJointDistribution ();

  // Creates a question P(search_params | known_params) 
  
  void ask(plCndKernel &CndExpr,
       const plVariablesConjunction &search_params,
       const plVariablesConjunction &known_params,
       plOptimizationCriterion optimization = PL_NO_OPTIMIZATION) const;

  plCndKernel ask(const plVariablesConjunction &search_params,
          const plVariablesConjunction &known_params,
          plOptimizationCriterion optimization = PL_NO_OPTIMIZATION) const;

  
  void ask(plCndKernel &CndExpr,
       const plVariablesConjunction &search_params,
       const plVariablesConjunction &known_params, unsigned int n) const;
           
  plCndKernel ask(const plVariablesConjunction &search_params,
          const plVariablesConjunction &known_params, unsigned int n) const;

  void ask(plCndKernel &CndExpr,
       const plVariablesConjunction &search_params,
       const plVariablesConjunction &known_params, int n) const
  { 
    ask(CndExpr, search_params, known_params, (unsigned int)n);
   }
  
  
  void ask(plCndKernel &CndExpr,
       const plVariablesConjunction &search_params,
       const plVariablesConjunction &known_params,
       plIntegrationModeType integration_mode,
       plFloat convergence_threshold) const;
  

  plCndKernel ask(const plVariablesConjunction &search_params,
          const plVariablesConjunction &known_params,
          plIntegrationModeType integration_mode,
          plFloat convergence_threshold) const;



  void ask(plCndKernel &CndExpr,
       const plVariablesConjunction &search_params,
       const plVariablesConjunction &known_params,
       bool do_not_build_normalization_expression,
       plOptimizationCriterion optimization = PL_NO_OPTIMIZATION) const;
  
  void ask(plCndKernel &CndExpr,
       const plVariablesConjunction &search_params,
       const plVariablesConjunction &known_params,
       bool do_not_build_normalization_expression,
       unsigned int n) const;
           
  void ask(plCndKernel &CndExpr,
       const plVariablesConjunction &search_params,
       const plVariablesConjunction &known_params,
       bool do_not_build_normalization_expression,
       int n) const
   { 
    ask(CndExpr, search_params, known_params, do_not_build_normalization_expression, (unsigned int)n);
   }
  
  
  void ask(plCndKernel &CndExpr,
       const plVariablesConjunction &search_params,
       const plVariablesConjunction &known_params,
       bool do_not_build_normalization_expression,
       plIntegrationModeType integration_mode,
       plFloat convergence_threshold) const;



  
  // Creates a question P(search_params) 

  void ask(plKernel &Expr,
       const plVariablesConjunction &search_params) const;

  plKernel ask(const plVariablesConjunction &search_params) const;
  
  void ask(plKernel &Expr,
       const plVariablesConjunction &search_params, unsigned int n) const;

  plKernel ask(const plVariablesConjunction &search_params, unsigned int n) const;
           
  void ask(plKernel &Expr,
       const plVariablesConjunction &search_params, int n) const
  { 
    ask(Expr, search_params, (unsigned int)n);
  }
  
  void ask(plKernel &Expr,
       const plVariablesConjunction &search_paramss, 
       plIntegrationModeType integration_mode,
       plFloat convergence_threshold) const;


  plKernel ask(const plVariablesConjunction &search_params, 
           plIntegrationModeType integration_mode,
           plFloat convergence_threshold) const;

  //void interpret();
  
};

#endif

---