GuardrailAutomatedReasoningImpossibleFinding

Indicates that no valid claims can be made due to logical contradictions in the premises or rules.

Types

The automated reasoning policy rules that contradict the claims and/or premises in the input.

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

The logical translation of the input that this finding evaluates.

open operator override fun equals(other: Any?): Boolean

open override fun hashCode(): Int

open override fun toString(): String