Home
last modified time | relevance | path

Searched refs:ModelOper (Results 1 – 2 of 2) sorted by relevance

/dports/cad/alliance/alliance/src/bdd/src/
H A Dbddsystem.c82 bddsystem *createbddsystem( ModelVar, ModelOper, MaxVar, MaxNode ) in createbddsystem() argument
85 long ModelOper;
106 if ( ModelOper <= 0 )
108 bdderror( BDD_MODEL_OPER_ERROR, ModelOper );
113 BddSystem->HASH_OPER = createbddhopertable( ModelOper );
114 BddSystem->OPER_MODEL = ModelOper;
H A Dbdd.h683 …extern bddsystem * createbddsystem __P((long ModelVar, long ModelOper, long MaxVar, long MaxNo…