Class LogicSnapshotImpl

  • All Implemented Interfaces:
    HideImpl, LogicSnapshot, java.io.Serializable, scala.Equals, scala.Product, scala.Serializable

    public final class LogicSnapshotImpl
    extends java.lang.Object
    implements LogicSnapshot, HideImpl, scala.Product, scala.Serializable
    INTERNAL API
    See Also:
    Serialized Form
    • Constructor Detail

      • LogicSnapshotImpl

        public LogicSnapshotImpl​(int index,
                                 java.lang.String label,
                                 Attributes attributes)
    • Method Detail

      • unapply

        public static scala.Option<scala.Tuple3<java.lang.Object,​java.lang.String,​Attributes>> unapply​(LogicSnapshotImpl x$0)
      • index

        public int index()
      • label

        public java.lang.String label()
        Specified by:
        label in interface LogicSnapshot
      • toString

        public java.lang.String toString()
        Specified by:
        toString in interface HideImpl
        Overrides:
        toString in class java.lang.Object
      • copy$default$1

        public int copy$default$1()
      • copy$default$2

        public java.lang.String copy$default$2()
      • copy$default$3

        public Attributes copy$default$3()
      • productPrefix

        public java.lang.String productPrefix()
        Specified by:
        productPrefix in interface scala.Product
      • productArity

        public int productArity()
        Specified by:
        productArity in interface scala.Product
      • productElement

        public java.lang.Object productElement​(int x$1)
        Specified by:
        productElement in interface scala.Product
      • productIterator

        public scala.collection.Iterator<java.lang.Object> productIterator()
        Specified by:
        productIterator in interface scala.Product
      • canEqual

        public boolean canEqual​(java.lang.Object x$1)
        Specified by:
        canEqual in interface scala.Equals
      • hashCode

        public int hashCode()
        Overrides:
        hashCode in class java.lang.Object
      • equals

        public boolean equals​(java.lang.Object x$1)
        Specified by:
        equals in interface scala.Equals
        Overrides:
        equals in class java.lang.Object