Package hydra.core

Class Term.Sum

  • All Implemented Interfaces:
    java.io.Serializable
    Enclosing class:
    Term

    public static final class Term.Sum
    extends Term
    implements java.io.Serializable
    A variant tuple
    See Also:
    Serialized Form
    • Field Detail

      • value

        public final Sum value
    • Constructor Detail

      • Sum

        public Sum​(Sum value)
    • Method Detail

      • equals

        public boolean equals​(java.lang.Object other)
        Overrides:
        equals in class java.lang.Object
      • hashCode

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