Uses of Class
org.batfish.BDDDomain

Packages that use BDDDomain

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

Uses of BDDDomain in org.batfish

Constructors in org.batfish with parameters of type BDDDomain

Modifier	Constructor	Description
	BDDDomain(net.sf.javabdd.BDD pred, BDDDomain<T> other)
	BDDDomain(BDDDomain<T> other)