All Classes and Interfaces
Class
Description
Class that wraps a BDDInteger around a finite collection of values and provides an API for
dealing directly with the values.
Various utility methods for working with
BDDs.A utility class for computing Equivalence Classes (ECs) from a set of labels.
An IPv4 address
An IP wildcard consisting of a IP address and a wildcard (also expressed as an IP address)
Represents a symbolic bit vector for sets of constraints, supporting both BDD and SAT backends.
The MCPFactory class extends MCPLabels and manages symbolic representations of sets of constraints.
The MCPLabels class represents a collection of equivalence classes (ECs) across multiple domains.
MCPOperableLabel wraps an MCPBitVector and provides set operations (union, intersection, difference)
for use in dynamic symbolic computations.
MutableSATInteger represents a mutable bit-vector for SAT-based integer encoding.
An IPv4 Prefix
Utility class for writing strings to files.
SATDomain wraps a SATInteger around a finite collection of values and provides an API
for working directly with those values in SAT-based symbolic computations.
Abstract base class for SAT-based integer encodings.
Utility methods for SAT-based symbolic computations.