AutomatedReasoningPolicyAddRuleAnnotation
An annotation for adding a new rule to an Automated Reasoning policy using a formal logical expression.
Types
Properties
Functions
Link copied to clipboard
inline fun copy(block: AutomatedReasoningPolicyAddRuleAnnotation.Builder.() -> Unit = {}): AutomatedReasoningPolicyAddRuleAnnotation