@Test public void testHasVariablesOnly() { BDDFactory factory = BDDUtils.bddFactory(10); BDDInteger x = BDDInteger.makeFromIndex(factory, 5, 0, false); assertTrue(x.hasVariablesOnly()); BDDInteger y = new BDDInteger(x); assertTrue(y.hasVariablesOnly()); x.setValue(5); assertFalse(x.hasVariablesOnly()); y = new BDDInteger(x); assertFalse(y.hasVariablesOnly()); x = BDDInteger.makeFromIndex(factory, 5, 0, false); assertTrue(x.hasVariablesOnly()); y = x.add(x); assertFalse(y.hasVariablesOnly()); assertTrue(x.hasVariablesOnly()); y = x.sub(x); assertFalse(y.hasVariablesOnly()); assertTrue(x.hasVariablesOnly()); }
public boolean hasVariablesOnly() { return _hasVariablesOnly; }
BDDInteger { public boolean hasVariablesOnly() { return _hasVariablesOnly; } }
BDDInteger { public boolean hasVariablesOnly() { return _hasVariablesOnly; } private  BDDInteger(BDDFactory factory, int length);  BDDInteger(BDDInteger other); }
BDDInteger { public boolean hasVariablesOnly() { return _hasVariablesOnly; } private  BDDInteger(BDDFactory factory, int length);  BDDInteger(BDDInteger other); boolean hasVariablesOnly(); int size(); static BDDInteger makeFromIndex(
      BDDFactory factory, int length, int start, boolean reverse); Optional<Long> getValueSatisfying(BDD bdd); Long satAssignmentToLong(BDD satAssignment); Long satAssignmentToLong(BitSet bits); List<Long> getValuesSatisfying(BDD bdd, int max); static BDDInteger makeFromValue(BDDFactory factory, int length, long value); BDDInteger ite(BDD b, BDDInteger other); BDD value(long val); BDD leq(long val); BDD geq(long val); BDD range(long a, long b); void setValue(long val); void setValue(BDDInteger other); BDDInteger add(BDDInteger other); BDDInteger sub(BDDInteger var1); BDD[] getBitvec(); @Nonnull BDD getVars(); BDDFactory getFactory(); @Override boolean equals(Object o); @Override int hashCode(); }
BDDInteger { public boolean hasVariablesOnly() { return _hasVariablesOnly; } private  BDDInteger(BDDFactory factory, int length);  BDDInteger(BDDInteger other); boolean hasVariablesOnly(); int size(); static BDDInteger makeFromIndex(
      BDDFactory factory, int length, int start, boolean reverse); Optional<Long> getValueSatisfying(BDD bdd); Long satAssignmentToLong(BDD satAssignment); Long satAssignmentToLong(BitSet bits); List<Long> getValuesSatisfying(BDD bdd, int max); static BDDInteger makeFromValue(BDDFactory factory, int length, long value); BDDInteger ite(BDD b, BDDInteger other); BDD value(long val); BDD leq(long val); BDD geq(long val); BDD range(long a, long b); void setValue(long val); void setValue(BDDInteger other); BDDInteger add(BDDInteger other); BDDInteger sub(BDDInteger var1); BDD[] getBitvec(); @Nonnull BDD getVars(); BDDFactory getFactory(); @Override boolean equals(Object o); @Override int hashCode();  }