Class UsersetTreeDifference


  • public class UsersetTreeDifference
    extends java.lang.Object
    UsersetTreeDifference
    • Field Detail

      • JSON_PROPERTY_BASE

        public static final java.lang.String JSON_PROPERTY_BASE
        See Also:
        Constant Field Values
      • JSON_PROPERTY_SUBTRACT

        public static final java.lang.String JSON_PROPERTY_SUBTRACT
        See Also:
        Constant Field Values
    • Constructor Detail

      • UsersetTreeDifference

        public UsersetTreeDifference()
    • Method Detail

      • getBase

        @Nonnull
        public Node getBase()
        Get base
        Returns:
        base
      • setBase

        public void setBase​(Node base)
      • getSubtract

        @Nonnull
        public Node getSubtract()
        Get subtract
        Returns:
        subtract
      • setSubtract

        public void setSubtract​(Node subtract)
      • equals

        public boolean equals​(java.lang.Object o)
        Return true if this UsersetTree.Difference object is equal to o.
        Overrides:
        equals in class java.lang.Object
      • hashCode

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

        public java.lang.String toString()
        Overrides:
        toString in class java.lang.Object
      • toUrlQueryString

        public java.lang.String toUrlQueryString()
        Convert the instance into URL query string.
        Returns:
        URL query string
      • toUrlQueryString

        public java.lang.String toUrlQueryString​(java.lang.String prefix)
        Convert the instance into URL query string.
        Parameters:
        prefix - prefix of the query string
        Returns:
        URL query string