BDDFactoryIntImpl.IntBDDBitVector (com.github.javabdd 2.0.0 API)

java.lang.Object
- com.github.javabdd.BDDBitVector
- - com.github.javabdd.BDDFactoryIntImpl.IntBDDBitVector

Enclosing class:: BDDFactoryIntImpl

public class BDDFactoryIntImpl.IntBDDBitVector
extends BDDBitVector

- Field Summary
  - Fields inherited from class com.github.javabdd.BDDBitVector
    bitvec
- Constructor Summary
  
  Constructors
  Modifier Constructor Description
  
  protected IntBDDBitVector(int bitnum)
- Method Summary
  
  All Methods Instance Methods Concrete Methods
  Modifier and Type Method Description
  
  BDDFactory getFactory()
  - Methods inherited from class com.github.javabdd.BDDBitVector
    add, coerce, copy, divmod, free, getBit, initialize, initialize, initialize, initialize, initialize, initialize, initialize, isConst, map2, replaceWith, shl, size, sub, val
  - Methods inherited from class java.lang.Object
    clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

- Constructor Detail
  - IntBDDBitVector
```
protected IntBDDBitVector(int bitnum)
```
- Method Detail
  - getFactory
```
public BDDFactory getFactory()
```
    Specified by:
    
    getFactory in class BDDBitVector