AutomatedReasoningPolicyDefinitionType

Represents a custom user-defined viarble type in an Automated Reasoning policy. Types are enum-based and provide additional context beyond predefined variable types.

Types

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

Properties

Link copied to clipboard

The description of what the custom type represents.

Link copied to clipboard

The name of the custom type.

Link copied to clipboard

The possible values for this enum-based type, each with its own description.

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