Uses of Package
org.batfish

Packages that use org.batfish

Package	Description
org.batfish	BDD-based symbolic primitives adapted for MCP network-policy reasoning.
org.mcp.variables.statics

Classes in org.batfish used by org.batfish

Class	Description
BDDDomain	Class that wraps a BDDInteger around a finite collection of values and provides an API for dealing directly with the values.
BDDInteger
MutableBDDInteger

Classes in org.batfish used by org.mcp.variables.statics

Class	Description
MutableBDDInteger