static AutomatedReasoningCheckImpossibleFinding.Builder |
AutomatedReasoningCheckImpossibleFinding.builder() |
|
AutomatedReasoningCheckImpossibleFinding.Builder |
AutomatedReasoningCheckImpossibleFinding.Builder.contradictingRules(Collection<AutomatedReasoningCheckRule> contradictingRules) |
The automated reasoning policy rules that contradict the claims and/or premises in the input.
|
AutomatedReasoningCheckImpossibleFinding.Builder |
AutomatedReasoningCheckImpossibleFinding.Builder.contradictingRules(Consumer<AutomatedReasoningCheckRule.Builder>... contradictingRules) |
The automated reasoning policy rules that contradict the claims and/or premises in the input.
|
AutomatedReasoningCheckImpossibleFinding.Builder |
AutomatedReasoningCheckImpossibleFinding.Builder.contradictingRules(AutomatedReasoningCheckRule... contradictingRules) |
The automated reasoning policy rules that contradict the claims and/or premises in the input.
|
default AutomatedReasoningCheckImpossibleFinding.Builder |
AutomatedReasoningCheckImpossibleFinding.Builder.logicWarning(Consumer<AutomatedReasoningCheckLogicWarning.Builder> logicWarning) |
Indication of a logic issue with the translation without needing to consider the automated reasoning policy
rules.
|
AutomatedReasoningCheckImpossibleFinding.Builder |
AutomatedReasoningCheckImpossibleFinding.Builder.logicWarning(AutomatedReasoningCheckLogicWarning logicWarning) |
Indication of a logic issue with the translation without needing to consider the automated reasoning policy
rules.
|
AutomatedReasoningCheckImpossibleFinding.Builder |
AutomatedReasoningCheckImpossibleFinding.toBuilder() |
|
default AutomatedReasoningCheckImpossibleFinding.Builder |
AutomatedReasoningCheckImpossibleFinding.Builder.translation(Consumer<AutomatedReasoningCheckTranslation.Builder> translation) |
The logical translation of the input that this finding evaluates.
|
AutomatedReasoningCheckImpossibleFinding.Builder |
AutomatedReasoningCheckImpossibleFinding.Builder.translation(AutomatedReasoningCheckTranslation translation) |
The logical translation of the input that this finding evaluates.
|