Package owl.ltl

Class AbstractFormula

    • Constructor Detail

      • AbstractFormula

        public AbstractFormula()
    • Method Detail

      • hashCode

        public final int hashCode()
        Overrides:
        hashCode in class Object
      • hashCodeOnce

        protected abstract int hashCodeOnce()