Serialized Form

Package com.github.javabdd

Exception com.github.javabdd.BDDException

class BDDException extends RuntimeException implements Serializable

serialVersionUID:

3761969363112243251L

Class com.github.javabdd.BitString

class BitString extends Object implements Serializable

serialVersionUID:

3257570590025265971L

Serialized Fields

bits

int[] bits