Main Page | Struct List | File List | Struct Members | File Members

DSDOrDecompose.h File Reference

#include "DSDDecompose.h"

Go to the source code of this file.

Functions

DSDNode * OR_Decomp (DSDManager *manager, DdNode *f, DdNode *top_func, DSDNode *T, DSDNode *E)
DSDNode * BDN_OR_VAR_EXP (DSDManager *manager, DdNode *f, DdNode *top_func, DSDNode *base)
DSDNode * BDN_NOR_VAR_EXP (DSDManager *manager, DdNode *f, DdNode *top_func, DSDNode *base)
DSDNode * BDN_OR_VAR_DEC (DSDManager *manager, DdNode *f, DdNode *top_func, DSDNode *base)
DSDNode * BDN_NOR_VAR_DEC (DSDManager *manager, DdNode *f, DdNode *top_func, DSDNode *base)
DSDNode * BDN_OR_DEC_ACTUALS (DSDManager *manager, DdNode *f, DSDNode *node, ActualNode *actuals)
DSDNode * BDN_NOR_DEC_ACTUALS (DSDManager *manager, DdNode *f, DSDNode *node, ActualNode *actuals)
DSDNode * BDN_OR_DEC_DEC (DSDManager *manager, DdNode *f, DSDNode *node1, DSDNode *node2)
DSDNode * BDN_NOR_DEC_DEC (DSDManager *manager, DdNode *f, DSDNode *node1, DSDNode *node2)
DSDNode * BDN_OR_ACTUALS (DSDManager *manager, DdNode *f, ActualNode *actuals)
DSDNode * BDN_NOR_ACTUALS (DSDManager *manager, DdNode *f, ActualNode *actuals)
DSDNode * BDN_BDD_OR_RESIDUE (DSDManager *manager, ActualNode *residue)
DSDNode * BDN_BDD_NOR_RESIDUE (DSDManager *manager, ActualNode *residue)
DSDNode * BDN_BDD_NOR_VAR_ACTUALS (DSDManager *manager, DdNode *top_func, ActualNode *residue)
DSDNode * BDN_BDD_NOR_VAR_DEC (DSDManager *manager, DdNode *top_func, DSDNode *node)

Function Documentation

DSDNode* BDN_BDD_NOR_RESIDUE (  DSDManager *  manager,
ActualNode *  residue
) 
 

Internal function creates a BDD of a function that is the NOR of the actuals list elements in residue and creates a corresponding OR decomposition

DSDNode* BDN_BDD_NOR_VAR_ACTUALS (  DSDManager *  manager,
DdNode *  top_func,
ActualNode *  residue
) 
 

Internal function creates a BDD of a function that is the NOR of top_func and the actual list elements in residue and creates a corresponding NOR decomposition

DSDNode* BDN_BDD_NOR_VAR_DEC (  DSDManager *  manager,
DdNode *  top_func,
DSDNode *  node
) 
 

Internal function creates a BDD of a function that is the NOR of top_func and the function rooted at node and creates a corresponding NOR decomposition

DSDNode* BDN_BDD_OR_RESIDUE (  DSDManager *  manager,
ActualNode *  residue
) 
 

Internal function creates a BDD of a function that is the OR of the actuals list elements in residue and creates a corresponding OR decomposition

DSDNode* BDN_NOR_ACTUALS (  DSDManager *  manager,
DdNode *  f,
ActualNode *  actuals
) 
 

Internal function creates a DSD that is an NOR decomposition with the actuals list comprised of actuals

DSDNode* BDN_NOR_DEC_ACTUALS (  DSDManager *  manager,
DdNode *  f,
DSDNode *  node,
ActualNode *  actuals
) 
 

Internal function creates a DSD that is an NOR of the function rooted at node with the remaining actuals list being formed from the list actuals

DSDNode* BDN_NOR_DEC_DEC (  DSDManager *  manager,
DdNode *  f,
DSDNode *  node1,
DSDNode *  node2
) 
 

Internal function creates a DSD that is the NOR of the functions rooted at node1 and node2 respectively

DSDNode* BDN_NOR_VAR_DEC (  DSDManager *  manager,
DdNode *  f,
DdNode *  top_func,
DSDNode *  base
) 
 

Internal function creates a DSD that is an NOR of the variable f and the function rooted at the DSD base

DSDNode* BDN_NOR_VAR_EXP (  DSDManager *  manager,
DdNode *  f,
DdNode *  top_func,
DSDNode *  base
) 
 

Internal function creates a DSD that is an NOR of the variable f and the actuals list of base

DSDNode* BDN_OR_ACTUALS (  DSDManager *  manager,
DdNode *  f,
ActualNode *  actuals
) 
 

Internal function creates a DSD that is an OR decomposition with the actuals list comprised of actuals

DSDNode* BDN_OR_DEC_ACTUALS (  DSDManager *  manager,
DdNode *  f,
DSDNode *  node,
ActualNode *  actuals
) 
 

Internal function creates a DSD that is an OR of the function rooted at node with the remaining actuals list being formed from the list actuals

DSDNode* BDN_OR_DEC_DEC (  DSDManager *  manager,
DdNode *  f,
DSDNode *  node1,
DSDNode *  node2
) 
 

Internal function creates a DSD that is the OR of the functions rooted at node1 and node2 respectively

DSDNode* BDN_OR_VAR_DEC (  DSDManager *  manager,
DdNode *  f,
DdNode *  top_func,
DSDNode *  base
) 
 

Internal function creates a DSD that is an OR of the variable f and the function rooted at the DSD base

DSDNode* BDN_OR_VAR_EXP (  DSDManager *  manager,
DdNode *  f,
DdNode *  top_func,
DSDNode *  base
) 
 

Internal function creates a DSD that is an OR of the variable f and the actuals list of base

DSDNode* OR_Decomp (  DSDManager *  manager,
DdNode *  f,
DdNode *  top_func,
DSDNode *  T,
DSDNode *  E
) 
 

Internal function tries different algorithms to see whether the resulting DSD will be an OR decomposition

Generated on Thu Jan 27 11:30:33 2005 for STACCATO_PROJECT by  doxygen 1.4.0