Uses of Package
org.mcp.core

Packages that use org.mcp.core
Package
Description
org.mcp.core
Core abstractions for the MCP symbolic engine.
  • Classes in org.mcp.core used by org.mcp.core
    Class
    Description
    ECEngine
    A utility class for computing Equivalence Classes (ECs) from a set of labels.
    MCPBitVector
    Represents a symbolic bit vector for sets of constraints, supporting both BDD and SAT backends.
    MCPFactory
    The MCPFactory class extends MCPLabels and manages symbolic representations of sets of constraints.
    MCPFactory.MCPType
     
    MCPLabels
    The MCPLabels class represents a collection of equivalence classes (ECs) across multiple domains.
    MCPOperableLabel
    MCPOperableLabel wraps an MCPBitVector and provides set operations (union, intersection, difference) for use in dynamic symbolic computations.