/dports/math/cudd/cudd-3.0.0/nanotrav/ |
H A D | ntr.h | 161 int symmviolation; /**< percent symm violation in member
|
H A D | main.c | 579 option->symmviolation = 10; in mainInit() 951 option->symmviolation = (int)atoi(argv[i]); in ntrReadOptions() 1307 dd->symmviolation = option->symmviolation; in startCudd()
|
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/bdd/cudd/ |
H A D | cuddAPI.c | 2713 return(dd->symmviolation); in Cudd_ReadSymmviolation() 2739 int symmviolation) in Cudd_SetSymmviolation() argument 2741 dd->symmviolation = symmviolation; in Cudd_SetSymmviolation()
|
H A D | cuddInt.h | 428 int symmviolation; /* Used during group sifting */ member
|
H A D | cudd.h | 725 extern void Cudd_SetSymmviolation( DdManager * dd, int symmviolation );
|
H A D | cuddGroup.c | 1974 (table->symmviolation/100.0) + 0.5); in ddExtSymmCheck()
|
H A D | cuddTable.c | 600 unique->symmviolation = 0; in cuddInitTable()
|
/dports/math/py-brial/BRiAl-1.2.10/cudd/ |
H A D | cuddAPI.c | 3002 return(dd->symmviolation); in Cudd_ReadSymmviolation() 3028 int symmviolation) in Cudd_SetSymmviolation() argument 3030 dd->symmviolation = symmviolation; in Cudd_SetSymmviolation()
|
H A D | cuddInt.h | 436 int symmviolation; /* used during group sifting */ in PBORI_PREFIX() local
|
H A D | cuddGroup.c | 1993 (table->symmviolation/100.0) + 0.5); in ddExtSymmCheck()
|
H A D | cudd.h | 755 extern void Cudd_SetSymmviolation (PBORI_PREFIX(DdManager) *dd, int symmviolation);
|
H A D | cuddTable.c | 641 unique->symmviolation = 0; in cuddInitTable()
|
/dports/math/brial/BRiAl-1.2.10/cudd/ |
H A D | cuddAPI.c | 3002 return(dd->symmviolation); in Cudd_ReadSymmviolation() 3028 int symmviolation) in Cudd_SetSymmviolation() argument 3030 dd->symmviolation = symmviolation; in Cudd_SetSymmviolation()
|
H A D | cuddInt.h | 436 int symmviolation; /* used during group sifting */ in PBORI_PREFIX() local
|
H A D | cuddGroup.c | 1993 (table->symmviolation/100.0) + 0.5); in ddExtSymmCheck()
|
H A D | cudd.h | 755 extern void Cudd_SetSymmviolation (PBORI_PREFIX(DdManager) *dd, int symmviolation);
|
H A D | cuddTable.c | 641 unique->symmviolation = 0; in cuddInitTable()
|
/dports/math/cudd/cudd-3.0.0/cudd/ |
H A D | cuddAPI.c | 2909 return(dd->symmviolation); in Cudd_ReadSymmviolation() 2933 int symmviolation) in Cudd_SetSymmviolation() argument 2935 dd->symmviolation = symmviolation; in Cudd_SetSymmviolation()
|
H A D | cuddInt.h | 488 int symmviolation; /**< used during group sifting */ member
|
H A D | cudd.h | 617 extern void Cudd_SetSymmviolation(DdManager *dd, int symmviolation);
|
H A D | cuddGroup.c | 1913 (table->symmviolation/100.0) + 0.5); in ddExtSymmCheck()
|
H A D | cuddTable.c | 600 unique->symmviolation = 0; in cuddInitTable()
|
/dports/math/cudd/cudd-3.0.0/cplusplus/ |
H A D | cuddObj.hh | 589 void SetSymmviolation(int symmviolation) const;
|
H A D | cuddObj.cc | 2305 int symmviolation) const in SetSymmviolation() 2307 Cudd_SetSymmviolation(p->manager, symmviolation); in SetSymmviolation()
|