GuardrailAutomatedReasoningInvalidFinding

Indicates that the claims are logically false and contradictory to the established rules or premises.

Types

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

Properties

Link copied to clipboard

The automated reasoning policy rules that contradict the claims in the input.

Link copied to clipboard

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

Link copied to clipboard

The logical translation of the input that this finding invalidates.

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