@Test public void testOrAll() { _factory.setVarNum(10); BDD x = _factory.ithVar(0); BDD noty = _factory.nithVar(1); assertThat(_factory.orAll(x, noty), equalTo(x.or(noty))); }
@Override public BDD orAll(BDD... bddOperands) { return orAll(Arrays.asList(bddOperands)); }
JFactory extends BDDFactory { @Override public BDD orAll(BDD... bddOperands) { return orAll(Arrays.asList(bddOperands)); } }
JFactory extends BDDFactory { @Override public BDD orAll(BDD... bddOperands) { return orAll(Arrays.asList(bddOperands)); } private  JFactory(); }
JFactory extends BDDFactory { @Override public BDD orAll(BDD... bddOperands) { return orAll(Arrays.asList(bddOperands)); } private  JFactory(); @Override String getVersion(); static BDDFactory init(int nodenum, int cachesize); @Override BDD zero(); @Override BDD one(); @Override BDD orAll(BDD... bddOperands); @Override BDD orAll(Collection<BDD> bddOperands); @Override int setNodeTableSize(int size); @Override int setCacheSize(int newcachesize); @Override boolean isInitialized(); @Override void done(); @Override void setError(int code); @Override void clearError(); @Override int setMaxNodeNum(int size); @Override double setMinFreeNodes(double x); @Override int setMaxIncrease(int x); @Override double setIncreaseFactor(double x); @Override int setCacheRatio(int r); @Override int varNum(); @Override int setVarNum(int num); @Override int duplicateVar(int var); @Override BDD ithVar(int var); @Override BDD nithVar(int var); @Override void printAll(); @Override void printTable(BDD b); @Override int level2Var(int level); @Override int var2Level(int var); @Override void setVarOrder(int[] neworder); @Override int nodeCount(Collection<BDD> r); @Override int getNodeTableSize(); @Override int getNodeNum(); @Override int getCacheSize(); @Override void printStat(); @Override BDDPairing makePair(); }
JFactory extends BDDFactory { @Override public BDD orAll(BDD... bddOperands) { return orAll(Arrays.asList(bddOperands)); } private  JFactory(); @Override String getVersion(); static BDDFactory init(int nodenum, int cachesize); @Override BDD zero(); @Override BDD one(); @Override BDD orAll(BDD... bddOperands); @Override BDD orAll(Collection<BDD> bddOperands); @Override int setNodeTableSize(int size); @Override int setCacheSize(int newcachesize); @Override boolean isInitialized(); @Override void done(); @Override void setError(int code); @Override void clearError(); @Override int setMaxNodeNum(int size); @Override double setMinFreeNodes(double x); @Override int setMaxIncrease(int x); @Override double setIncreaseFactor(double x); @Override int setCacheRatio(int r); @Override int varNum(); @Override int setVarNum(int num); @Override int duplicateVar(int var); @Override BDD ithVar(int var); @Override BDD nithVar(int var); @Override void printAll(); @Override void printTable(BDD b); @Override int level2Var(int level); @Override int var2Level(int var); @Override void setVarOrder(int[] neworder); @Override int nodeCount(Collection<BDD> r); @Override int getNodeTableSize(); @Override int getNodeNum(); @Override int getCacheSize(); @Override void printStat(); @Override BDDPairing makePair();  }