Searched defs:inputBdds (Results 1 – 6 of 6) sorted by relevance
293 SortBdds::operatorCompose(Symbol* op, const Vector<Bdd>& inputBdds, Vector<Bdd>& outputBdds) const in operatorCompose() argument
356 Vector<Bdd> inputBdds; in computeGeneralizedSort2() local
426 Vector<Bdd> inputBdds; in computeGeneralizedSort2() local
478 Vector<Bdd> inputBdds; in computeGeneralizedSort2() local
416 Vector<Bdd> inputBdds; in computeGeneralizedSort2() local
580 Vector<Bdd> inputBdds; // assemble input to our sort function in computeGeneralizedSort2() local