AutomatedReasoningCheckScenario
Represents a logical scenario where claims can be evaluated as true or false, containing specific logical assignments.
Types
Properties
Functions
Link copied to clipboard
inline fun copy(block: AutomatedReasoningCheckScenario.Builder.() -> Unit = {}): AutomatedReasoningCheckScenario