AutomatedReasoningCheckScenario¶
Structure Class¶
dataclass
¶
Represents a logical scenario where claims can be evaluated as true or false, containing specific logical assignments.
Attributes¶
class-attribute
instance-attribute
¶
statements: list[AutomatedReasoningLogicStatement] | None = None
List of logical assignments and statements that define this scenario.