static AutomatedReasoningCheckFinding.Builder |
AutomatedReasoningCheckFinding.builder() |
|
default AutomatedReasoningCheckFinding.Builder |
AutomatedReasoningCheckFinding.Builder.impossible(Consumer<AutomatedReasoningCheckImpossibleFinding.Builder> impossible) |
Indicates that Automated Reasoning cannot make a statement about the claims.
|
AutomatedReasoningCheckFinding.Builder |
AutomatedReasoningCheckFinding.Builder.impossible(AutomatedReasoningCheckImpossibleFinding impossible) |
Indicates that Automated Reasoning cannot make a statement about the claims.
|
default AutomatedReasoningCheckFinding.Builder |
AutomatedReasoningCheckFinding.Builder.invalid(Consumer<AutomatedReasoningCheckInvalidFinding.Builder> invalid) |
Indicates that the claims are false.
|
AutomatedReasoningCheckFinding.Builder |
AutomatedReasoningCheckFinding.Builder.invalid(AutomatedReasoningCheckInvalidFinding invalid) |
Indicates that the claims are false.
|
default AutomatedReasoningCheckFinding.Builder |
AutomatedReasoningCheckFinding.Builder.noTranslations(Consumer<AutomatedReasoningCheckNoTranslationsFinding.Builder> noTranslations) |
Identifies that some or all of the input prompt wasn't translated into logic.
|
AutomatedReasoningCheckFinding.Builder |
AutomatedReasoningCheckFinding.Builder.noTranslations(AutomatedReasoningCheckNoTranslationsFinding noTranslations) |
Identifies that some or all of the input prompt wasn't translated into logic.
|
default AutomatedReasoningCheckFinding.Builder |
AutomatedReasoningCheckFinding.Builder.satisfiable(Consumer<AutomatedReasoningCheckSatisfiableFinding.Builder> satisfiable) |
Indicates that the claims can be true or false.
|
AutomatedReasoningCheckFinding.Builder |
AutomatedReasoningCheckFinding.Builder.satisfiable(AutomatedReasoningCheckSatisfiableFinding satisfiable) |
Indicates that the claims can be true or false.
|
AutomatedReasoningCheckFinding.Builder |
AutomatedReasoningCheckFinding.toBuilder() |
|
default AutomatedReasoningCheckFinding.Builder |
AutomatedReasoningCheckFinding.Builder.tooComplex(Consumer<AutomatedReasoningCheckTooComplexFinding.Builder> tooComplex) |
Indicates that the input contains too much information for Automated Reasoning to process within its latency
limits.
|
AutomatedReasoningCheckFinding.Builder |
AutomatedReasoningCheckFinding.Builder.tooComplex(AutomatedReasoningCheckTooComplexFinding tooComplex) |
Indicates that the input contains too much information for Automated Reasoning to process within its latency
limits.
|
default AutomatedReasoningCheckFinding.Builder |
AutomatedReasoningCheckFinding.Builder.translationAmbiguous(Consumer<AutomatedReasoningCheckTranslationAmbiguousFinding.Builder> translationAmbiguous) |
Indicates that an ambiguity was detected in the translation, making it unsound to continue with validity
checking.
|
AutomatedReasoningCheckFinding.Builder |
AutomatedReasoningCheckFinding.Builder.translationAmbiguous(AutomatedReasoningCheckTranslationAmbiguousFinding translationAmbiguous) |
Indicates that an ambiguity was detected in the translation, making it unsound to continue with validity
checking.
|
default AutomatedReasoningCheckFinding.Builder |
AutomatedReasoningCheckFinding.Builder.valid(Consumer<AutomatedReasoningCheckValidFinding.Builder> valid) |
Indicates that the claims are true.
|
AutomatedReasoningCheckFinding.Builder |
AutomatedReasoningCheckFinding.Builder.valid(AutomatedReasoningCheckValidFinding valid) |
Indicates that the claims are true.
|