C++ (Cpp) bdd_fnprintdot示例

示例#1

文件： testbddxor.c 项目： hotpeperoncino/urban-eureka

int main(int ac,char**av)
{
  BDD a,b,c;
  bdd_init(N_NODES, CACHESIZE);
  bdd_setvarnum(2);
  a = bdd_ithvar(0);
  b = bdd_ithvar(1);  
  c = bdd_xor(a, b);
  bdd_fnprintdot("xor.dot", c);
  bdd_done();
}

示例#2

文件： testbddless.c 项目： hotpeperoncino/urban-eureka

int main(int ac,char**av)
{
  BDD a,b,c;
  bdd_init(N_NODES, CACHESIZE);
  bdd_setvarnum(2);
  a = bdd_ithvar(0);
  b = bdd_ithvar(1);  
  c = bdd_apply(a, b, bddop_less);
  bdd_fnprintdot("less.dot", c);
  bdd_done();
}

示例#3

文件： muddy.c 项目： Armael/HOL

/* ML type: string -> bdd -> unit */
EXTERNML value mlbdd_bdd_fnprintdot(value filename, value r) /* ML */
{
  bdd_fnprintdot(String_val(filename), Bdd_val(r));
  return Val_unit;
}