static AutomatedReasoningCheckFinding |
AutomatedReasoningCheckFinding.fromImpossible(Consumer<AutomatedReasoningCheckImpossibleFinding.Builder> impossible) |
Create an instance of this class with impossible() initialized to the given value.
|
static AutomatedReasoningCheckFinding |
AutomatedReasoningCheckFinding.fromImpossible(AutomatedReasoningCheckImpossibleFinding impossible) |
Create an instance of this class with impossible() initialized to the given value.
|
static AutomatedReasoningCheckFinding |
AutomatedReasoningCheckFinding.fromInvalid(Consumer<AutomatedReasoningCheckInvalidFinding.Builder> invalid) |
Create an instance of this class with invalid() initialized to the given value.
|
static AutomatedReasoningCheckFinding |
AutomatedReasoningCheckFinding.fromInvalid(AutomatedReasoningCheckInvalidFinding invalid) |
Create an instance of this class with invalid() initialized to the given value.
|
static AutomatedReasoningCheckFinding |
AutomatedReasoningCheckFinding.fromNoTranslations(Consumer<AutomatedReasoningCheckNoTranslationsFinding.Builder> noTranslations) |
Create an instance of this class with noTranslations() initialized to the given value.
|
static AutomatedReasoningCheckFinding |
AutomatedReasoningCheckFinding.fromNoTranslations(AutomatedReasoningCheckNoTranslationsFinding noTranslations) |
Create an instance of this class with noTranslations() initialized to the given value.
|
static AutomatedReasoningCheckFinding |
AutomatedReasoningCheckFinding.fromSatisfiable(Consumer<AutomatedReasoningCheckSatisfiableFinding.Builder> satisfiable) |
Create an instance of this class with satisfiable() initialized to the given value.
|
static AutomatedReasoningCheckFinding |
AutomatedReasoningCheckFinding.fromSatisfiable(AutomatedReasoningCheckSatisfiableFinding satisfiable) |
Create an instance of this class with satisfiable() initialized to the given value.
|
static AutomatedReasoningCheckFinding |
AutomatedReasoningCheckFinding.fromTooComplex(Consumer<AutomatedReasoningCheckTooComplexFinding.Builder> tooComplex) |
Create an instance of this class with tooComplex() initialized to the given value.
|
static AutomatedReasoningCheckFinding |
AutomatedReasoningCheckFinding.fromTooComplex(AutomatedReasoningCheckTooComplexFinding tooComplex) |
Create an instance of this class with tooComplex() initialized to the given value.
|
static AutomatedReasoningCheckFinding |
AutomatedReasoningCheckFinding.fromTranslationAmbiguous(Consumer<AutomatedReasoningCheckTranslationAmbiguousFinding.Builder> translationAmbiguous) |
|
static AutomatedReasoningCheckFinding |
AutomatedReasoningCheckFinding.fromTranslationAmbiguous(AutomatedReasoningCheckTranslationAmbiguousFinding translationAmbiguous) |
|
static AutomatedReasoningCheckFinding |
AutomatedReasoningCheckFinding.fromValid(Consumer<AutomatedReasoningCheckValidFinding.Builder> valid) |
Create an instance of this class with valid() initialized to the given value.
|
static AutomatedReasoningCheckFinding |
AutomatedReasoningCheckFinding.fromValid(AutomatedReasoningCheckValidFinding valid) |
Create an instance of this class with valid() initialized to the given value.
|