Package org.batfish

package org.batfish

BDD-based symbolic primitives adapted for MCP network-policy reasoning.

This package provides low-level binary decision diagram abstractions used by MCP symbolic execution and domain encoding:

• BDDInteger / MutableBDDInteger: bit-vector integer encoding on BDD variables
• BDDDomain: finite-domain wrapper over BDD integer encodings
• BDDUtils: utility helpers for factory setup, bit vectors, and variable pairing

These components are used as a backend foundation for fast symbolic set operations and satisfiability-driven reasoning.

Related Packages

Package	Description
org.batfish.datamodel	Lightweight IPv4 data model types used by symbolic encodings.

Classes

Class	Description
BDDDomain<T>	Class that wraps a BDDInteger around a finite collection of values and provides an API for dealing directly with the values.
BDDInteger
BDDUtils	Various utility methods for working with BDDs.
MutableBDDInteger