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