AutomatedReasoningPolicyAddTypeAnnotation

An annotation for adding a new custom type to an Automated Reasoning policy, defining a set of possible values for variables.

Types

A description of what the custom type represents and how it should be used in the policy.

The name of the new custom type. This name will be used to reference the type in variable definitions and rules.

The list of possible values that variables of this type can take, each with its own description and identifier.

open operator override fun equals(other: Any?): Boolean

open override fun hashCode(): Int

open override fun toString(): String