src/mdd/mdd_literal.c File Reference

#include "mdd.h"

Include dependency graph for mdd_literal.c:

Go to the source code of this file.

Functions
mdd_t *	mdd_literal (mdd_manager *mgr, int mddid, array_t *values)

---

Function Documentation

mdd_t* mdd_literal	(	mdd_manager *	mgr,
		int	mddid,
		array_t *	values
	)

Definition at line 21 of file mdd_literal.c.

{
  mvar_type mvar;
  mdd_t *one, *zero;
  array_t *allValues;    /* Holds one in pos i iff value i is allowed */
  int i;                 /* iterator                                  */   
  int value;             /* iterates over values                      */
  mdd_t *result;
  
  mvar = mdd_get_var_by_id(mgr, mddid);
  one = mdd_one(mgr);
  zero = mdd_zero(mgr);
  allValues = array_alloc(mdd_t *, mvar.values);

  /* first set every value to zero */
  for(i = 0; i < mvar.values; i++)
    array_insert(mdd_t *, allValues, i, zero);
  
  /* then set requested values to one */
  arrayForEachItem(int, values, i, value)
    array_insert(mdd_t *, allValues, value, one);
  
  result = mdd_case(mgr, mddid, allValues);
  array_free(allValues);

  mdd_free(one);
  mdd_free(zero);
  
  return result;
}