Package org.iam.model

package org.iam.model

Internal model structures for label hierarchy and symbolic wrappers.

This package contains data structures used to organize domain labels and bind them to policy/intent computations:

• LabelTree: hierarchical relation model for domain labels
• DomainLabelTrees: per-domain label tree registry
• IntentOrPolicyLabel: unified label wrapper for reduction stages
• MCPVar: symbolic-variable contract for MCP encodable entities

These models provide the structural layer that supports refinement traversal and reduction-time equivalence reasoning.

Related Packages

Package	Description
org.iam	Top-level package for the AccessRefinery analysis engine.
org.iam.core	Core orchestration and solving workflow for AccessRefinery.
org.iam.intent	Intent abstractions used by AccessRefinery mining and refinement.
org.iam.policy	IAM policy representation and parsing support.
org.iam.utils	Utility helpers for IO, parsing, timing, logging, and experiment post-processing.

Class	Description
DomainLabelTrees	DomainLabelTrees manages label trees for multiple domains.
IntentOrPolicyLabel	IntentOrPolicyLabel is a Label that can wrap a finding, a policy, or an MCPBitVector.
IntentOrPolicyLabel.Builder	Builder for IntentOrPolicyLabel.
IntentOrPolicyLabel.VarType	Enum for the type of value this label represents.
LabelTree<T>	LabelTree represents a tree structure where each node has a set of children.
MCPVar	Interface for objects that can be represented as symbolic variables using MCPBitVector.