static AutomatedReasoningCheckValidFinding.Builder |
AutomatedReasoningCheckValidFinding.builder() |
|
default AutomatedReasoningCheckValidFinding.Builder |
AutomatedReasoningCheckValidFinding.Builder.claimsTrueScenario(Consumer<AutomatedReasoningCheckScenario.Builder> claimsTrueScenario) |
An example scenario demonstrating how the claims are logically true.
|
AutomatedReasoningCheckValidFinding.Builder |
AutomatedReasoningCheckValidFinding.Builder.claimsTrueScenario(AutomatedReasoningCheckScenario claimsTrueScenario) |
An example scenario demonstrating how the claims are logically true.
|
default AutomatedReasoningCheckValidFinding.Builder |
AutomatedReasoningCheckValidFinding.Builder.logicWarning(Consumer<AutomatedReasoningCheckLogicWarning.Builder> logicWarning) |
Indication of a logic issue with the translation without needing to consider the automated reasoning policy
rules.
|
AutomatedReasoningCheckValidFinding.Builder |
AutomatedReasoningCheckValidFinding.Builder.logicWarning(AutomatedReasoningCheckLogicWarning logicWarning) |
Indication of a logic issue with the translation without needing to consider the automated reasoning policy
rules.
|
AutomatedReasoningCheckValidFinding.Builder |
AutomatedReasoningCheckValidFinding.Builder.supportingRules(Collection<AutomatedReasoningCheckRule> supportingRules) |
The automated reasoning policy rules that support why this result is considered valid.
|
AutomatedReasoningCheckValidFinding.Builder |
AutomatedReasoningCheckValidFinding.Builder.supportingRules(Consumer<AutomatedReasoningCheckRule.Builder>... supportingRules) |
The automated reasoning policy rules that support why this result is considered valid.
|
AutomatedReasoningCheckValidFinding.Builder |
AutomatedReasoningCheckValidFinding.Builder.supportingRules(AutomatedReasoningCheckRule... supportingRules) |
The automated reasoning policy rules that support why this result is considered valid.
|
AutomatedReasoningCheckValidFinding.Builder |
AutomatedReasoningCheckValidFinding.toBuilder() |
|
default AutomatedReasoningCheckValidFinding.Builder |
AutomatedReasoningCheckValidFinding.Builder.translation(Consumer<AutomatedReasoningCheckTranslation.Builder> translation) |
The logical translation of the input that this finding validates.
|
AutomatedReasoningCheckValidFinding.Builder |
AutomatedReasoningCheckValidFinding.Builder.translation(AutomatedReasoningCheckTranslation translation) |
The logical translation of the input that this finding validates.
|