Struct GuardrailAutomatedReasoningSatisfiableFinding 

#[non_exhaustive]
pub struct GuardrailAutomatedReasoningSatisfiableFinding {
    pub translation: Option<GuardrailAutomatedReasoningTranslation>,
    pub claims_true_scenario: Option<GuardrailAutomatedReasoningScenario>,
    pub claims_false_scenario: Option<GuardrailAutomatedReasoningScenario>,
    pub logic_warning: Option<GuardrailAutomatedReasoningLogicWarning>,
}

Indicates that the claims could be either true or false depending on additional assumptions not provided in the input.

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.

translation: Option<GuardrailAutomatedReasoningTranslation>

The logical translation of the input that this finding evaluates.

claims_true_scenario: Option<GuardrailAutomatedReasoningScenario>

An example scenario demonstrating how the claims could be logically true.

claims_false_scenario: Option<GuardrailAutomatedReasoningScenario>

An example scenario demonstrating how the claims could be logically false.

logic_warning: Option<GuardrailAutomatedReasoningLogicWarning>

Indication of a logic issue with the translation without needing to consider the automated reasoning policy rules.

Implementations

impl GuardrailAutomatedReasoningSatisfiableFinding

pub fn translation(&self) -> Option<&GuardrailAutomatedReasoningTranslation>

The logical translation of the input that this finding evaluates.

pub fn claims_true_scenario( &self, ) -> Option<&GuardrailAutomatedReasoningScenario>

An example scenario demonstrating how the claims could be logically true.

pub fn claims_false_scenario( &self, ) -> Option<&GuardrailAutomatedReasoningScenario>

An example scenario demonstrating how the claims could be logically false.

pub fn logic_warning(&self) -> Option<&GuardrailAutomatedReasoningLogicWarning>

Indication of a logic issue with the translation without needing to consider the automated reasoning policy rules.

impl GuardrailAutomatedReasoningSatisfiableFinding

pub fn builder() -> GuardrailAutomatedReasoningSatisfiableFindingBuilder

Creates a new builder-style object to manufacture GuardrailAutomatedReasoningSatisfiableFinding.

Trait Implementations

impl Clone for GuardrailAutomatedReasoningSatisfiableFinding

fn clone(&self) -> GuardrailAutomatedReasoningSatisfiableFinding

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for GuardrailAutomatedReasoningSatisfiableFinding

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

Formats the value using the given formatter.

impl PartialEq for GuardrailAutomatedReasoningSatisfiableFinding

fn eq(&self, other: &GuardrailAutomatedReasoningSatisfiableFinding) -> 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 GuardrailAutomatedReasoningSatisfiableFinding