Value Members

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

   Definition Classes

   AnyRef → Any

2.  final def ##(): Int

   Definition Classes

   AnyRef → Any

3.  def +(other: String): String

   Implicit

   This member is added by an implicit conversion from UnificationSearcher to any2stringadd[UnificationSearcher] performed by method any2stringadd in scala.Predef.

   Definition Classes

   any2stringadd

4.  def ->[B](y: B): (UnificationSearcher, B)

   Implicit

   This member is added by an implicit conversion from UnificationSearcher to ArrowAssoc[UnificationSearcher] performed by method ArrowAssoc in scala.Predef.

   Definition Classes

   ArrowAssoc

   Annotations

   @inline()

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

   Definition Classes

   AnyRef → Any

6.  def addNewClauses(newClauses: Seq[Clause]): Unit
7.  final def asInstanceOf[T0]: T0

   Definition Classes

   Any

8.  def clausesForPropagation(provedLiterals: Set[Literal]): Set[Clause]
9.  def clearUnifiableUnits(): Unit
10.  def clone(): AnyRef

    Attributes

    protected[java.lang]

    Definition Classes

    AnyRef

    Annotations

    @throws( ... )

11.  def ensuring(cond: (UnificationSearcher) ⇒ Boolean, msg: ⇒ Any): UnificationSearcher

    Implicit

    This member is added by an implicit conversion from UnificationSearcher to Ensuring[UnificationSearcher] performed by method Ensuring in scala.Predef.

    Definition Classes

    Ensuring

12.  def ensuring(cond: (UnificationSearcher) ⇒ Boolean): UnificationSearcher

    Implicit

    This member is added by an implicit conversion from UnificationSearcher to Ensuring[UnificationSearcher] performed by method Ensuring in scala.Predef.

    Definition Classes

    Ensuring

13.  def ensuring(cond: Boolean, msg: ⇒ Any): UnificationSearcher

    Implicit

    This member is added by an implicit conversion from UnificationSearcher to Ensuring[UnificationSearcher] performed by method Ensuring in scala.Predef.

    Definition Classes

    Ensuring

14.  def ensuring(cond: Boolean): UnificationSearcher

    Implicit

    This member is added by an implicit conversion from UnificationSearcher to Ensuring[UnificationSearcher] performed by method Ensuring in scala.Predef.

    Definition Classes

    Ensuring

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

    Definition Classes

    AnyRef

16.  def equals(arg0: Any): Boolean

    Definition Classes

    AnyRef → Any

17.  def finalize(): Unit

    Attributes

    protected[java.lang]

    Definition Classes

    AnyRef

    Annotations

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

18.  def formatted(fmtstr: String): String

    Implicit

    This member is added by an implicit conversion from UnificationSearcher to StringFormat[UnificationSearcher] performed by method StringFormat in scala.Predef.

    Definition Classes

    StringFormat

    Annotations

    @inline()

19.  final def getClass(): Class[_]

    Definition Classes

    AnyRef → Any

20.  def getUnifiers(literal: Literal): Seq[Literal]
21.  def hashCode(): Int

    Definition Classes

    AnyRef → Any

22.  final def isInstanceOf[T0]: Boolean

    Definition Classes

    Any

23.  val literals: HashSet[Literal]
24.  final def ne(arg0: AnyRef): Boolean

    Definition Classes

    AnyRef

25.  val nonUnitClauses: Set[Clause]
26.  final def notify(): Unit

    Definition Classes

    AnyRef

27.  final def notifyAll(): Unit

    Definition Classes

    AnyRef

28.  def removeNonValidLiterals(literals: Seq[Literal]): Unit
29.  final def synchronized[T0](arg0: ⇒ T0): T0

    Definition Classes

    AnyRef

30.  def toString(): String

    Definition Classes

    AnyRef → Any

31.  val unifiableUnits: Map[Literal, Set[Literal]]
32.  def updateUnifiableUnits(newLiterals: Seq[Literal]): Unit
33.  final def wait(): Unit

    Definition Classes

    AnyRef

    Annotations

    @throws( ... )

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

    Definition Classes

    AnyRef

    Annotations

    @throws( ... )

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

    Definition Classes

    AnyRef

    Annotations

    @throws( ... )

36.  def →[B](y: B): (UnificationSearcher, B)

    Implicit

    This member is added by an implicit conversion from UnificationSearcher to ArrowAssoc[UnificationSearcher] performed by method ArrowAssoc in scala.Predef.

    Definition Classes

    ArrowAssoc