Class Axiom.Declaration

  • All Implemented Interfaces:
    java.io.Serializable, java.lang.Comparable<Axiom>
    Enclosing class:
    Axiom

    public static final class Axiom.Declaration
    extends Axiom
    implements java.io.Serializable
    See Also:
    Serialized Form
    • 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
      • compareTo

        public int compareTo​(Axiom other)
        Specified by:
        compareTo in interface java.lang.Comparable<Axiom>
      • accept

        public <R> R accept​(Axiom.Visitor<R> visitor)
        Dispatch to visitor.
        Specified by:
        accept in class Axiom