Package software.amazon.awssdk.services.bedrock.model

Class AutomatedReasoningCheckSatisfiableFinding

java.lang.Object

software.amazon.awssdk.services.bedrock.model.AutomatedReasoningCheckSatisfiableFinding

All Implemented Interfaces:

Serializable, SdkPojo, ToCopyableBuilder<AutomatedReasoningCheckSatisfiableFinding.Builder,AutomatedReasoningCheckSatisfiableFinding>

@Generated("software.amazon.awssdk:codegen")
public final class AutomatedReasoningCheckSatisfiableFinding
extends Object
implements SdkPojo, Serializable, ToCopyableBuilder<AutomatedReasoningCheckSatisfiableFinding.Builder,AutomatedReasoningCheckSatisfiableFinding>

Indicates that the claims could be either true or false depending on additional assumptions not provided in the input.

See Also:

Serialized Form

Nested Class Summary

Nested Classes

Modifier and Type	Class	Description
static interface	AutomatedReasoningCheckSatisfiableFinding.Builder

Method Summary

Modifier and Type	Method	Description
static AutomatedReasoningCheckSatisfiableFinding.Builder	builder()
AutomatedReasoningCheckScenario	claimsFalseScenario()	An example scenario demonstrating how the claims could be logically false.
AutomatedReasoningCheckScenario	claimsTrueScenario()	An example scenario demonstrating how the claims could be logically true.
boolean	equals(Object obj)
boolean	equalsBySdkFields(Object obj)
<T> Optional<T>	getValueForField(String fieldName, Class<T> clazz)
int	hashCode()
AutomatedReasoningCheckLogicWarning	logicWarning()	Indication of a logic issue with the translation without needing to consider the automated reasoning policy rules.
Map<String,SdkField<?>>	sdkFieldNameToField()
List<SdkField<?>>	sdkFields()
static Class<? extends AutomatedReasoningCheckSatisfiableFinding.Builder>	serializableBuilderClass()
AutomatedReasoningCheckSatisfiableFinding.Builder	toBuilder()
String	toString()	Returns a string representation of this object.
AutomatedReasoningCheckTranslation	translation()	The logical translation of the input that this finding evaluates.

Methods inherited from class java.lang.Object

clone, finalize, getClass, notify, notifyAll, wait, wait, wait

Methods inherited from interface software.amazon.awssdk.utils.builder.ToCopyableBuilder

copy

Method Detail

translation

public final AutomatedReasoningCheckTranslation translation()

The logical translation of the input that this finding evaluates.

Returns:

The logical translation of the input that this finding evaluates.

claimsTrueScenario

public final AutomatedReasoningCheckScenario claimsTrueScenario()

An example scenario demonstrating how the claims could be logically true.

Returns:

An example scenario demonstrating how the claims could be logically true.

claimsFalseScenario

public final AutomatedReasoningCheckScenario claimsFalseScenario()

An example scenario demonstrating how the claims could be logically false.

Returns:

An example scenario demonstrating how the claims could be logically false.

logicWarning

public final AutomatedReasoningCheckLogicWarning logicWarning()

Indication of a logic issue with the translation without needing to consider the automated reasoning policy rules.

Returns:

Indication of a logic issue with the translation without needing to consider the automated reasoning policy rules.

toBuilder

public AutomatedReasoningCheckSatisfiableFinding.Builder toBuilder()

Specified by:

toBuilder in interface ToCopyableBuilder<AutomatedReasoningCheckSatisfiableFinding.Builder,AutomatedReasoningCheckSatisfiableFinding>

builder

public static AutomatedReasoningCheckSatisfiableFinding.Builder builder()

serializableBuilderClass

public static Class<? extends AutomatedReasoningCheckSatisfiableFinding.Builder> serializableBuilderClass()

hashCode

public final int hashCode()

Overrides:

hashCode in class Object

equals

public final boolean equals(Object obj)

Overrides:

equals in class Object

equalsBySdkFields

public final boolean equalsBySdkFields(Object obj)

Specified by:

equalsBySdkFields in interface SdkPojo

toString

public final String toString()

Returns a string representation of this object. This is useful for testing and debugging. Sensitive data will be redacted from this string using a placeholder value.

Overrides:

toString in class Object

getValueForField

public final <T> Optional<T> getValueForField(String fieldName,
                                              Class<T> clazz)

sdkFields

public final List<SdkField<?>> sdkFields()

Specified by:

sdkFields in interface SdkPojo

sdkFieldNameToField

public final Map<String,SdkField<?>> sdkFieldNameToField()

Specified by:

sdkFieldNameToField in interface SdkPojo