Package org.mcp.core

package org.mcp.core

Core abstractions for the MCP symbolic engine.

This package defines the foundational model used by MCP to represent and manipulate policy constraints across domains:

• MCPLabels: builds domain-level label sets and equivalence classes (ECs)
• ECEngine: computes minimal disjoint EC partitions from labels
• MCPFactory: creates backend-aware symbolic values (BDD or SAT)
• MCPBitVector: unified logical operations over backend values
• MCPOperableLabel: operable label wrapper used by dynamic label APIs

The package provides a backend-independent symbolic layer for intersection, union, difference, satisfiability checks, and domain reasoning.

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.