static AutomatedReasoningCheckSatisfiableFinding.Builder |
AutomatedReasoningCheckSatisfiableFinding.builder() |
|
default AutomatedReasoningCheckSatisfiableFinding.Builder |
AutomatedReasoningCheckSatisfiableFinding.Builder.claimsFalseScenario(Consumer<AutomatedReasoningCheckScenario.Builder> claimsFalseScenario) |
An example scenario demonstrating how the claims could be logically false.
|
AutomatedReasoningCheckSatisfiableFinding.Builder |
AutomatedReasoningCheckSatisfiableFinding.Builder.claimsFalseScenario(AutomatedReasoningCheckScenario claimsFalseScenario) |
An example scenario demonstrating how the claims could be logically false.
|
default AutomatedReasoningCheckSatisfiableFinding.Builder |
AutomatedReasoningCheckSatisfiableFinding.Builder.claimsTrueScenario(Consumer<AutomatedReasoningCheckScenario.Builder> claimsTrueScenario) |
An example scenario demonstrating how the claims could be logically true.
|
AutomatedReasoningCheckSatisfiableFinding.Builder |
AutomatedReasoningCheckSatisfiableFinding.Builder.claimsTrueScenario(AutomatedReasoningCheckScenario claimsTrueScenario) |
An example scenario demonstrating how the claims could be logically true.
|
default AutomatedReasoningCheckSatisfiableFinding.Builder |
AutomatedReasoningCheckSatisfiableFinding.Builder.logicWarning(Consumer<AutomatedReasoningCheckLogicWarning.Builder> logicWarning) |
Indication of a logic issue with the translation without needing to consider the automated reasoning policy
rules.
|
AutomatedReasoningCheckSatisfiableFinding.Builder |
AutomatedReasoningCheckSatisfiableFinding.Builder.logicWarning(AutomatedReasoningCheckLogicWarning logicWarning) |
Indication of a logic issue with the translation without needing to consider the automated reasoning policy
rules.
|
AutomatedReasoningCheckSatisfiableFinding.Builder |
AutomatedReasoningCheckSatisfiableFinding.toBuilder() |
|
default AutomatedReasoningCheckSatisfiableFinding.Builder |
AutomatedReasoningCheckSatisfiableFinding.Builder.translation(Consumer<AutomatedReasoningCheckTranslation.Builder> translation) |
The logical translation of the input that this finding evaluates.
|
AutomatedReasoningCheckSatisfiableFinding.Builder |
AutomatedReasoningCheckSatisfiableFinding.Builder.translation(AutomatedReasoningCheckTranslation translation) |
The logical translation of the input that this finding evaluates.
|