Struct AutomatedReasoningPolicyDefinition 

#[non_exhaustive]
pub struct AutomatedReasoningPolicyDefinition {
    pub version: String,
    pub types: Option<Vec<AutomatedReasoningPolicyDefinitionType>>,
    pub rules: Option<Vec<AutomatedReasoningPolicyDefinitionRule>>,
    pub variables: Option<Vec<AutomatedReasoningPolicyDefinitionVariable>>,
}

Contains the formal logic rules, variables, and custom variable types that define an Automated Reasoning policy. The policy definition specifies the constraints used to validate foundation model responses for accuracy and logical consistency.

Fields (Non-exhaustive)

Non-exhaustive structs could have additional fields added in future. Therefore, non-exhaustive structs cannot be constructed in external crates using the traditional Struct { .. } syntax; cannot be matched against without a wildcard ..; and struct update syntax will not work.

version: String

The version of the policy definition format.

types: Option<Vec<AutomatedReasoningPolicyDefinitionType>>

The custom user-defined vairable types used in the policy. Types are enum-based variable types that provide additional context beyond the predefined variable types.

rules: Option<Vec<AutomatedReasoningPolicyDefinitionRule>>

The formal logic rules extracted from the source document. Rules define the logical constraints that determine whether model responses are valid, invalid, or satisfiable.

variables: Option<Vec<AutomatedReasoningPolicyDefinitionVariable>>

The variables that represent concepts in the policy. Variables can have values assigned when translating natural language into formal logic. Their descriptions are crucial for accurate translation.

Implementations

impl AutomatedReasoningPolicyDefinition

pub fn version(&self) -> &str

The version of the policy definition format.

pub fn types(&self) -> &[AutomatedReasoningPolicyDefinitionType]

The custom user-defined vairable types used in the policy. Types are enum-based variable types that provide additional context beyond the predefined variable types.

If no value was sent for this field, a default will be set. If you want to determine if no value was sent, use .types.is_none().

pub fn rules(&self) -> &[AutomatedReasoningPolicyDefinitionRule]

The formal logic rules extracted from the source document. Rules define the logical constraints that determine whether model responses are valid, invalid, or satisfiable.

If no value was sent for this field, a default will be set. If you want to determine if no value was sent, use .rules.is_none().

pub fn variables(&self) -> &[AutomatedReasoningPolicyDefinitionVariable]

The variables that represent concepts in the policy. Variables can have values assigned when translating natural language into formal logic. Their descriptions are crucial for accurate translation.

If no value was sent for this field, a default will be set. If you want to determine if no value was sent, use .variables.is_none().

impl AutomatedReasoningPolicyDefinition

pub fn builder() -> AutomatedReasoningPolicyDefinitionBuilder

Creates a new builder-style object to manufacture AutomatedReasoningPolicyDefinition.

Trait Implementations

impl Clone for AutomatedReasoningPolicyDefinition

fn clone(&self) -> AutomatedReasoningPolicyDefinition

Returns a duplicate of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl Debug for AutomatedReasoningPolicyDefinition

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl PartialEq for AutomatedReasoningPolicyDefinition

fn eq(&self, other: &AutomatedReasoningPolicyDefinition) -> bool

Tests for self and other values to be equal, and is used by ==.

fn ne(&self, other: &Rhs) -> bool

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl StructuralPartialEq for AutomatedReasoningPolicyDefinition