AutomatedReasoningPolicyAddRuleFromNaturalLanguageAnnotation

An annotation for adding a new rule to the policy by converting a natural language description into a formal logical expression.

Types

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

Properties

Link copied to clipboard

The natural language description of the rule that should be converted into a formal logical expression.

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