AutomatedReasoningPolicyAnnotatedLine

Represents a single line of text from a source document, annotated with its line number for precise referencing.

Types

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

Properties

Link copied to clipboard

The line number of this text within the source document.

Link copied to clipboard

The actual text content of this line from the source document.

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