AutomatedReasoningCheckTranslationOption

Represents one possible logical interpretation of ambiguous input content.

Types

Link copied to clipboard
class Builder
Link copied to clipboard
object Companion

Properties

Link copied to clipboard

Different logical interpretations that were detected during translation of the input.

Functions

Link copied to clipboard
open operator override fun equals(other: Any?): Boolean
Link copied to clipboard
open override fun hashCode(): Int
Link copied to clipboard
open override fun toString(): String