Uses of Class
org.batfish.MutableBDDInteger

Packages that use MutableBDDInteger

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

Uses of MutableBDDInteger in org.batfish

Methods in org.batfish that return MutableBDDInteger

Modifier and Type	Method	Description
MutableBDDInteger	MutableBDDInteger.add(BDDInteger other)
MutableBDDInteger	MutableBDDInteger.addClipping(BDDInteger other)
MutableBDDInteger	MutableBDDInteger.and(net.sf.javabdd.BDD pred)
MutableBDDInteger	BDDDomain.getInteger()
MutableBDDInteger	MutableBDDInteger.ite(net.sf.javabdd.BDD b, MutableBDDInteger other)
static MutableBDDInteger	MutableBDDInteger.makeFromIndex(net.sf.javabdd.BDDFactory factory, int length, int start, boolean reverse)	Create an integer, and initialize its values as "don't care" This requires knowing the start index variables the bitvector will use.
static MutableBDDInteger	MutableBDDInteger.makeFromValue(net.sf.javabdd.BDDFactory factory, int length, long value)	Create an integer and initialize it to a concrete value
MutableBDDInteger	MutableBDDInteger.sub(BDDInteger other)
MutableBDDInteger	MutableBDDInteger.subClipping(BDDInteger other)

Methods in org.batfish with parameters of type MutableBDDInteger

Modifier and Type	Method	Description
MutableBDDInteger	MutableBDDInteger.ite(net.sf.javabdd.BDD b, MutableBDDInteger other)
void	BDDDomain.setInteger(MutableBDDInteger i)
void	MutableBDDInteger.setValue(MutableBDDInteger other)

Constructors in org.batfish with parameters of type MutableBDDInteger

Modifier	Constructor	Description
	MutableBDDInteger(MutableBDDInteger other)

Uses of MutableBDDInteger in org.mcp.variables.statics

Methods in org.mcp.variables.statics that return MutableBDDInteger

Modifier and Type	Method	Description
MutableBDDInteger	PrefixLabel.getBddInteger()