Class AutomatedReasoningCheckFinding

    • Method Detail

      • valid

        public final AutomatedReasoningCheckValidFinding valid()

        Indicates that the claims are true. The claims are implied by the premises and the Automated Reasoning policy. Given the Automated Reasoning policy and premises, it is not possible for these claims to be false.

        Returns:
        Indicates that the claims are true. The claims are implied by the premises and the Automated Reasoning policy. Given the Automated Reasoning policy and premises, it is not possible for these claims to be false.
      • invalid

        public final AutomatedReasoningCheckInvalidFinding invalid()

        Indicates that the claims are false. The claims are not implied by the premises and Automated Reasoning policy. Furthermore, there exist different claims that are consistent with the premises and Automated Reasoning policy.

        Returns:
        Indicates that the claims are false. The claims are not implied by the premises and Automated Reasoning policy. Furthermore, there exist different claims that are consistent with the premises and Automated Reasoning policy.
      • satisfiable

        public final AutomatedReasoningCheckSatisfiableFinding satisfiable()

        Indicates that the claims can be true or false. It depends on what assumptions are made for the claim to be implied from the premises and Automated Reasoning policy rules. In this situation, different assumptions can make input claims false and alternative claims true.

        Returns:
        Indicates that the claims can be true or false. It depends on what assumptions are made for the claim to be implied from the premises and Automated Reasoning policy rules. In this situation, different assumptions can make input claims false and alternative claims true.
      • impossible

        public final AutomatedReasoningCheckImpossibleFinding impossible()

        Indicates that Automated Reasoning cannot make a statement about the claims. This can happen if the premises are logically incorrect, or if there is a conflict within the Automated Reasoning policy itself.

        Returns:
        Indicates that Automated Reasoning cannot make a statement about the claims. This can happen if the premises are logically incorrect, or if there is a conflict within the Automated Reasoning policy itself.
      • translationAmbiguous

        public final AutomatedReasoningCheckTranslationAmbiguousFinding translationAmbiguous()

        Indicates that an ambiguity was detected in the translation, making it unsound to continue with validity checking. Additional context or follow-up questions might be needed to get translation to succeed.

        Returns:
        Indicates that an ambiguity was detected in the translation, making it unsound to continue with validity checking. Additional context or follow-up questions might be needed to get translation to succeed.
      • tooComplex

        public final AutomatedReasoningCheckTooComplexFinding tooComplex()

        Indicates that the input contains too much information for Automated Reasoning to process within its latency limits.

        Returns:
        Indicates that the input contains too much information for Automated Reasoning to process within its latency limits.
      • noTranslations

        public final AutomatedReasoningCheckNoTranslationsFinding noTranslations()

        Identifies that some or all of the input prompt wasn't translated into logic. This can happen if the input isn't relevant to the Automated Reasoning policy, or if the policy doesn't have variables to model relevant input.

        Returns:
        Identifies that some or all of the input prompt wasn't translated into logic. This can happen if the input isn't relevant to the Automated Reasoning policy, or if the policy doesn't have variables to model relevant input.
      • hashCode

        public final int hashCode()
        Overrides:
        hashCode in class Object
      • equals

        public final boolean equals​(Object obj)
        Overrides:
        equals in class Object
      • toString

        public final String toString()
        Returns a string representation of this object. This is useful for testing and debugging. Sensitive data will be redacted from this string using a placeholder value.
        Overrides:
        toString in class Object
      • getValueForField

        public final <T> Optional<T> getValueForField​(String fieldName,
                                                      Class<T> clazz)
      • fromValid

        public static AutomatedReasoningCheckFinding fromValid​(AutomatedReasoningCheckValidFinding valid)
        Create an instance of this class with valid() initialized to the given value.

        Indicates that the claims are true. The claims are implied by the premises and the Automated Reasoning policy. Given the Automated Reasoning policy and premises, it is not possible for these claims to be false.

        Parameters:
        valid - Indicates that the claims are true. The claims are implied by the premises and the Automated Reasoning policy. Given the Automated Reasoning policy and premises, it is not possible for these claims to be false.
      • fromValid

        public static AutomatedReasoningCheckFinding fromValid​(Consumer<AutomatedReasoningCheckValidFinding.Builder> valid)
        Create an instance of this class with valid() initialized to the given value.

        Indicates that the claims are true. The claims are implied by the premises and the Automated Reasoning policy. Given the Automated Reasoning policy and premises, it is not possible for these claims to be false.

        Parameters:
        valid - Indicates that the claims are true. The claims are implied by the premises and the Automated Reasoning policy. Given the Automated Reasoning policy and premises, it is not possible for these claims to be false.
      • fromInvalid

        public static AutomatedReasoningCheckFinding fromInvalid​(AutomatedReasoningCheckInvalidFinding invalid)
        Create an instance of this class with invalid() initialized to the given value.

        Indicates that the claims are false. The claims are not implied by the premises and Automated Reasoning policy. Furthermore, there exist different claims that are consistent with the premises and Automated Reasoning policy.

        Parameters:
        invalid - Indicates that the claims are false. The claims are not implied by the premises and Automated Reasoning policy. Furthermore, there exist different claims that are consistent with the premises and Automated Reasoning policy.
      • fromInvalid

        public static AutomatedReasoningCheckFinding fromInvalid​(Consumer<AutomatedReasoningCheckInvalidFinding.Builder> invalid)
        Create an instance of this class with invalid() initialized to the given value.

        Indicates that the claims are false. The claims are not implied by the premises and Automated Reasoning policy. Furthermore, there exist different claims that are consistent with the premises and Automated Reasoning policy.

        Parameters:
        invalid - Indicates that the claims are false. The claims are not implied by the premises and Automated Reasoning policy. Furthermore, there exist different claims that are consistent with the premises and Automated Reasoning policy.
      • fromSatisfiable

        public static AutomatedReasoningCheckFinding fromSatisfiable​(AutomatedReasoningCheckSatisfiableFinding satisfiable)
        Create an instance of this class with satisfiable() initialized to the given value.

        Indicates that the claims can be true or false. It depends on what assumptions are made for the claim to be implied from the premises and Automated Reasoning policy rules. In this situation, different assumptions can make input claims false and alternative claims true.

        Parameters:
        satisfiable - Indicates that the claims can be true or false. It depends on what assumptions are made for the claim to be implied from the premises and Automated Reasoning policy rules. In this situation, different assumptions can make input claims false and alternative claims true.
      • fromSatisfiable

        public static AutomatedReasoningCheckFinding fromSatisfiable​(Consumer<AutomatedReasoningCheckSatisfiableFinding.Builder> satisfiable)
        Create an instance of this class with satisfiable() initialized to the given value.

        Indicates that the claims can be true or false. It depends on what assumptions are made for the claim to be implied from the premises and Automated Reasoning policy rules. In this situation, different assumptions can make input claims false and alternative claims true.

        Parameters:
        satisfiable - Indicates that the claims can be true or false. It depends on what assumptions are made for the claim to be implied from the premises and Automated Reasoning policy rules. In this situation, different assumptions can make input claims false and alternative claims true.
      • fromImpossible

        public static AutomatedReasoningCheckFinding fromImpossible​(AutomatedReasoningCheckImpossibleFinding impossible)
        Create an instance of this class with impossible() initialized to the given value.

        Indicates that Automated Reasoning cannot make a statement about the claims. This can happen if the premises are logically incorrect, or if there is a conflict within the Automated Reasoning policy itself.

        Parameters:
        impossible - Indicates that Automated Reasoning cannot make a statement about the claims. This can happen if the premises are logically incorrect, or if there is a conflict within the Automated Reasoning policy itself.
      • fromImpossible

        public static AutomatedReasoningCheckFinding fromImpossible​(Consumer<AutomatedReasoningCheckImpossibleFinding.Builder> impossible)
        Create an instance of this class with impossible() initialized to the given value.

        Indicates that Automated Reasoning cannot make a statement about the claims. This can happen if the premises are logically incorrect, or if there is a conflict within the Automated Reasoning policy itself.

        Parameters:
        impossible - Indicates that Automated Reasoning cannot make a statement about the claims. This can happen if the premises are logically incorrect, or if there is a conflict within the Automated Reasoning policy itself.
      • fromTranslationAmbiguous

        public static AutomatedReasoningCheckFinding fromTranslationAmbiguous​(AutomatedReasoningCheckTranslationAmbiguousFinding translationAmbiguous)
        Create an instance of this class with translationAmbiguous() initialized to the given value.

        Indicates that an ambiguity was detected in the translation, making it unsound to continue with validity checking. Additional context or follow-up questions might be needed to get translation to succeed.

        Parameters:
        translationAmbiguous - Indicates that an ambiguity was detected in the translation, making it unsound to continue with validity checking. Additional context or follow-up questions might be needed to get translation to succeed.
      • fromTranslationAmbiguous

        public static AutomatedReasoningCheckFinding fromTranslationAmbiguous​(Consumer<AutomatedReasoningCheckTranslationAmbiguousFinding.Builder> translationAmbiguous)
        Create an instance of this class with translationAmbiguous() initialized to the given value.

        Indicates that an ambiguity was detected in the translation, making it unsound to continue with validity checking. Additional context or follow-up questions might be needed to get translation to succeed.

        Parameters:
        translationAmbiguous - Indicates that an ambiguity was detected in the translation, making it unsound to continue with validity checking. Additional context or follow-up questions might be needed to get translation to succeed.
      • fromTooComplex

        public static AutomatedReasoningCheckFinding fromTooComplex​(AutomatedReasoningCheckTooComplexFinding tooComplex)
        Create an instance of this class with tooComplex() initialized to the given value.

        Indicates that the input contains too much information for Automated Reasoning to process within its latency limits.

        Parameters:
        tooComplex - Indicates that the input contains too much information for Automated Reasoning to process within its latency limits.
      • fromTooComplex

        public static AutomatedReasoningCheckFinding fromTooComplex​(Consumer<AutomatedReasoningCheckTooComplexFinding.Builder> tooComplex)
        Create an instance of this class with tooComplex() initialized to the given value.

        Indicates that the input contains too much information for Automated Reasoning to process within its latency limits.

        Parameters:
        tooComplex - Indicates that the input contains too much information for Automated Reasoning to process within its latency limits.
      • fromNoTranslations

        public static AutomatedReasoningCheckFinding fromNoTranslations​(AutomatedReasoningCheckNoTranslationsFinding noTranslations)
        Create an instance of this class with noTranslations() initialized to the given value.

        Identifies that some or all of the input prompt wasn't translated into logic. This can happen if the input isn't relevant to the Automated Reasoning policy, or if the policy doesn't have variables to model relevant input.

        Parameters:
        noTranslations - Identifies that some or all of the input prompt wasn't translated into logic. This can happen if the input isn't relevant to the Automated Reasoning policy, or if the policy doesn't have variables to model relevant input.
      • fromNoTranslations

        public static AutomatedReasoningCheckFinding fromNoTranslations​(Consumer<AutomatedReasoningCheckNoTranslationsFinding.Builder> noTranslations)
        Create an instance of this class with noTranslations() initialized to the given value.

        Identifies that some or all of the input prompt wasn't translated into logic. This can happen if the input isn't relevant to the Automated Reasoning policy, or if the policy doesn't have variables to model relevant input.

        Parameters:
        noTranslations - Identifies that some or all of the input prompt wasn't translated into logic. This can happen if the input isn't relevant to the Automated Reasoning policy, or if the policy doesn't have variables to model relevant input.