DSDXorDecompose.c File Reference

#include "DSDXorDecompose.h"

Functions
DSDNode *	BDN_NXOR_VAR_EXP (DSDManager *manager, DdNode *f, DdNode *top_func, DSDNode *base)
DSDNode *	BDN_XOR_VAR_EXP (DSDManager *manager, DdNode *f, DdNode *top_func, DSDNode *base)
DSDNode *	BDN_NXOR_VAR_DEC (DSDManager *manager, DdNode *f, DdNode *top_func, DSDNode *base)
DSDNode *	BDN_XOR_VAR_DEC (DSDManager *manager, DdNode *f, DdNode *top_func, DSDNode *base)
DSDNode *	BDN_XOR_DEC_ACTUALS (DSDManager *manager, DdNode *f, DSDNode *node, ActualNode *actuals)
DSDNode *	BDN_NXOR_DEC_ACTUALS (DSDManager *manager, DdNode *f, DSDNode *node, ActualNode *actuals)
DSDNode *	BDN_XOR_DEC_DEC (DSDManager *manager, DdNode *f, DSDNode *node1, DSDNode *node2)
DSDNode *	BDN_NXOR_DEC_DEC (DSDManager *manager, DdNode *f, DSDNode *node1, DSDNode *node2)
DSDNode *	BDN_XOR_ACTUALS (DSDManager *manager, DdNode *f, ActualNode *actuals)
DSDNode *	BDN_NXOR_ACTUALS (DSDManager *manager, DdNode *f, ActualNode *actuals)
DSDNode *	BDN_BDD_XOR_RESIDUE (DSDManager *manager, ActualNode *residue)
DSDNode *	BDN_BDD_NXOR_RESIDUE (DSDManager *manager, ActualNode *residue)
DSDNode *	XOR_Decomp (DSDManager *manager, DdNode *f, DdNode *top_func, DSDNode *T, DSDNode *E)

---

Function Documentation

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

DSDNode* XOR_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 XOR decomposition

---