Serialized Form

Package org.batfish

Class org.batfish.BDDInteger

class BDDInteger extends Object implements Serializable

Serialized Fields

_bitvec

net.sf.javabdd.BDD[] _bitvec

_factory

net.sf.javabdd.BDDFactory _factory

_maxVal

long _maxVal

Class org.batfish.MutableBDDInteger

class MutableBDDInteger extends BDDInteger implements Serializable

Serialization Methods

readObject

private void readObject(ObjectInputStream stream)
                 throws IOException,
ClassNotFoundException

Throws:

IOException

ClassNotFoundException

Package org.batfish.datamodel

Class org.batfish.datamodel.Ip

class Ip extends Object implements Serializable

Serialization Methods

readResolve

private Object readResolve()
                    throws ObjectStreamException

Cache after deserialization.

Throws:

ObjectStreamException

Serialized Fields

_ip

long _ip

Class org.batfish.datamodel.IpWildcard

class IpWildcard extends Object implements Serializable

Serialization Methods

readResolve

private Object readResolve()
                    throws ObjectStreamException

Cache after deserialization.

Throws:

ObjectStreamException

Serialized Fields

_ip

Ip _ip

_wildcardMask

long _wildcardMask

Class org.batfish.datamodel.Prefix

class Prefix extends Object implements Serializable

Serialization Methods

readResolve

private Object readResolve()
                    throws ObjectStreamException

Cache after deserialization.

Throws:

ObjectStreamException

Serialized Fields

_ip

Ip _ip

_prefixLength

int _prefixLength

Package org.mcp.sat

Class org.mcp.sat.MutableSATInteger

class MutableSATInteger extends SATInteger implements Serializable

Class org.mcp.sat.SATInteger

class SATInteger extends Object implements Serializable

Serialized Fields

_bitvec

org.logicng.formulas.Variable[] _bitvec

Bit vector representing the integer (each bit is a SAT variable).

_factory

org.logicng.formulas.FormulaFactory _factory

Formula factory for creating SAT formulas.

_maxVal

long _maxVal

Maximum value representable by this SATInteger.