Value Members

1.  final def !=(arg0: Any): Boolean

   Definition Classes

   AnyRef → Any

2.  final def ##: Int

   Definition Classes

   AnyRef → Any

3.  final def ==(arg0: Any): Boolean

   Definition Classes

   AnyRef → Any

4.  val annotations: Annotations

   The annotations of the annotated formula, if any.

   The annotations of the annotated formula, if any.

   Definition Classes

   TPIAnnotated → AnnotatedFormula

5.  final def asInstanceOf[T0]: T0

   Definition Classes

   Any

6.  def clone(): AnyRef

   Attributes

   protected[lang]

   Definition Classes

   AnyRef

   Annotations

   @throws(classOf[java.lang.CloneNotSupportedException]) @native()

7.  final def eq(arg0: AnyRef): Boolean

   Definition Classes

   AnyRef

8.  def finalize(): Unit

   Attributes

   protected[lang]

   Definition Classes

   AnyRef

   Annotations

   @throws(classOf[java.lang.Throwable])

9.  val formula: Statement

   The underlying formula of the annotated formula.

   The underlying formula of the annotated formula.

   Definition Classes

   TPIAnnotated → AnnotatedFormula

10.  def formulaType: FormulaType

    The AnnotatedFormula.FormulaType of the underlying formula.

    The AnnotatedFormula.FormulaType of the underlying formula.

    Definition Classes

    TPIAnnotated → AnnotatedFormula

11.  final def getClass(): Class[_ <: AnyRef]

    Definition Classes

    AnyRef → Any

    Annotations

    @native()

12.  final def isInstanceOf[T0]: Boolean

    Definition Classes

    Any

13.  val name: String

    The name of the annotated formula.

    The name of the annotated formula.

    Definition Classes

    TPIAnnotated → AnnotatedFormula

14.  final def ne(arg0: AnyRef): Boolean

    Definition Classes

    AnyRef

15.  final def notify(): Unit

    Definition Classes

    AnyRef

    Annotations

    @native()

16.  final def notifyAll(): Unit

    Definition Classes

    AnyRef

    Annotations

    @native()

17.  def pretty: String

    Returns a TPTP-compliant serialization of the formula.

    Returns a TPTP-compliant serialization of the formula.

    Definition Classes

    TPIAnnotated → AnnotatedFormula

18.  def productElementNames: Iterator[String]

    Definition Classes

    Product

19.  val role: String

    The role of the annotated formula.

    The role of the annotated formula.

    Definition Classes

    TPIAnnotated → AnnotatedFormula

20.  def symbols: Set[String]

    Contains every constant symbol (i.e., no variables) occurring in the formula, including term and type symbols.

    Contains every constant symbol (i.e., no variables) occurring in the formula, including term and type symbols.

    Definition Classes

    TPIAnnotated → AnnotatedFormula

21.  final def synchronized[T0](arg0: => T0): T0

    Definition Classes

    AnyRef

22.  final def wait(): Unit

    Definition Classes

    AnyRef

    Annotations

    @throws(classOf[java.lang.InterruptedException])

23.  final def wait(arg0: Long, arg1: Int): Unit

    Definition Classes

    AnyRef

    Annotations

    @throws(classOf[java.lang.InterruptedException])

24.  final def wait(arg0: Long): Unit

    Definition Classes

    AnyRef

    Annotations

    @throws(classOf[java.lang.InterruptedException]) @native()