Interface Formula

    • Method Summary

      Modifier and Type Method Description
      Signature getSignature()
      Returns the signature of the language of this formula.
    • Method Detail

      • getSignature

        Signature getSignature()
        Returns the signature of the language of this formula.
        Returns:
        the signature of the language of this formula.