Uses of Class
org.batfish.BDDInteger

Packages that use BDDInteger

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

Uses of BDDInteger in org.batfish

Subclasses of BDDInteger in org.batfish

Modifier and Type	Class	Description
final class	MutableBDDInteger

Methods in org.batfish with parameters of type BDDInteger

Modifier and Type	Method	Description
MutableBDDInteger	MutableBDDInteger.add(BDDInteger other)
MutableBDDInteger	MutableBDDInteger.addClipping(BDDInteger other)
net.sf.javabdd.BDD	MutableBDDInteger.allDifferences(BDDInteger other)	Produces a BDD whose models represent all possible differences between the two BDDIntegers -- valuations of the BDD variables that cause the two BDDIntegers to have different values.
MutableBDDInteger	MutableBDDInteger.sub(BDDInteger other)
MutableBDDInteger	MutableBDDInteger.subClipping(BDDInteger other)