Interval

data class Interval(val start: Expression, val end: Expression, val type: Interval.IntervalType) : PrimitiveType

Expression to represent the interval of integers from start to end.

Parameters

start

An Expression representing the starting point of the interval.

end

An Expression representing the end point of the interval.

type

The interval type, i.e. Open, Closed, RightOpen, and LeftOpen.

Constructors

Link copied to clipboard
constructor(start: Expression, end: Expression, type: Interval.IntervalType)

Types

Link copied to clipboard

Functions

Link copied to clipboard

Returns a list of strings of the identifiers of all the variables that this expression references.

Link copied to clipboard

Does this expression reference any variables?

Link copied to clipboard
open override fun toString(): String

Properties

Link copied to clipboard
Link copied to clipboard
Link copied to clipboard