AutomatedReasoningPolicyDefinitionQualityReport

Provides a comprehensive analysis of the quality and completeness of an Automated Reasoning policy definition, highlighting potential issues and optimization opportunities.

Types

Link copied to clipboard
class Builder
Link copied to clipboard
object Companion

Properties

Link copied to clipboard

A list of rules that may conflict with each other, potentially leading to inconsistent policy behavior.

Link copied to clipboard

Groups of rules that operate on completely separate sets of variables, indicating the policy may be addressing multiple unrelated concerns.

Link copied to clipboard

The total number of rules defined in the policy.

Link copied to clipboard

The total number of custom types defined in the policy.

Link copied to clipboard

A list of custom types that are defined but not referenced by any variables or rules, suggesting they may be unnecessary.

Link copied to clipboard

A list of type values that are defined but never used in any rules, indicating potential cleanup opportunities.

Link copied to clipboard

A list of variables that are defined but not referenced by any rules, suggesting they may be unnecessary.

Link copied to clipboard

The total number of variables defined in the policy.

Functions

Link copied to clipboard
open operator override fun equals(other: Any?): Boolean
Link copied to clipboard
open override fun hashCode(): Int
Link copied to clipboard
open override fun toString(): String