All Classes and Interfaces
Class
Description
AccessRefinery is the main processing class for analyzing constraint files.
Command-line entry point for running AccessRefinery and Zelkova batch processing.
Condition represents a condition block with an operator and key-value pairs.
Enum for supported condition operators.
Custom deserializer for a list of Condition objects from JSON.
DomainLabelTrees manages label trees for multiple domains.
Utility class for file and directory operations.
ILPSolver provides a method to solve the Minimum Set Cover problem using Integer Linear Programming (ILP).
IntentOrPolicyLabel is a Label that can wrap a finding, a policy, or an MCPBitVector.
Builder for IntentOrPolicyLabel.
Enum for the type of value this label represents.
Converts a set of MCPIntent objects into a JSON structure for output.
LabelTree represents a tree structure where each node has a set of children.
Utility class for configuring and managing logging.
MCPCondition extends Condition and implements MCPVar for symbolic encoding.
MCPIntent represents a finding with domain values and symbolic encoding.
MCPPolicy extends Policy and implements MCPVar for symbolic encoding.
MCPPrincipal extends Principal and implements MCPVar for symbolic encoding.
MCPStatement extends Statement and provides symbolic encoding for statements.
Interface for objects that can be represented as symbolic variables using MCPBitVector.
MergeIntent is used to merge and manipulate sets of domain values for intent mining.
Global parameters and flags for controlling AccessRefinery behavior.
The PolicyParser class provides utility methods for parsing policy files and input streams
into Policy objects, converting Policy objects to JSON strings, and retrieving test files as input streams.
Utility for splitting a JSON array of policy objects into individual files.
Custom deserializer for a list of Principal objects from JSON.
ResultsAnalyzer collects and computes statistics for batch analysis runs.
Interface for enums that can be compared and retrieved by string value.
Custom Jackson deserializer for lists of strings, with regex formatting.
Utility class for measuring and recording multiple time intervals.
Zelkova provides satisfiability checking and symbolic analysis for constraint files.