AutomatedReasoningPolicyDefinitionRule

Represents a formal logic rule in an Automated Reasoning policy. For example, rules can be expressed as if-then statements that define logical constraints.

Types

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

Properties

Link copied to clipboard

The human-readable form of the rule expression, often in natural language or simplified notation.

Link copied to clipboard

The formal logic expression of the rule.

Link copied to clipboard
val id: String

The unique identifier of the rule within 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