Options
All
  • Public
  • Public/Protected
  • All
Menu

Class AlloyAtom

In Alloy, an atom is a primitive entity that is indivisible, immutable, and uninterpreted.

Hierarchy

Index

Constructors

Methods

Constructors

constructor

Methods

clone

empty

  • empty(): boolean

equals

  • Returns true if this set is equivalent to the provided set, false otherwise.

    Parameters

    Returns boolean

id

  • id(): string

in

  • Returns true if this set is a subset of the provided set, false otherwise.

    Parameters

    Returns boolean

join

  • Perform a join operation with another set. This operation is equivalent to the dot join operator in Alloy, in which this set is on the left side of the dot and that set is on the right side.

    Parameters

    Returns AlloySet

toString

  • toString(): string

tuples

Static fromElement