at.logic.skeptik.proof.oldResolution

Input

class Input extends ProofNode

Linear Supertypes
ProofNode, AnyRef, Any
Type Hierarchy Learn more about scaladoc diagrams
Ordering
  1. Alphabetic
  2. By inheritance
Inherited
  1. Input
  2. ProofNode
  3. AnyRef
  4. Any
Implicitly
  1. by any2stringadd
  2. by any2stringfmt
  3. by any2ArrowAssoc
  4. by any2Ensuring
  1. Hide All
  2. Show all
Learn more about member selection
Visibility
  1. Public
  2. All

Instance Constructors

  1. new Input(clause: Clause)

Value Members

  1. final def !=(arg0: AnyRef): Boolean

    Definition Classes
    AnyRef
  2. final def !=(arg0: Any): Boolean

    Definition Classes
    Any
  3. final def ##(): Int

    Definition Classes
    AnyRef → Any
  4. def +(other: String): String

    Implicit information
    This member is added by an implicit conversion from Input to StringAdd performed by method any2stringadd in scala.Predef.
    Definition Classes
    StringAdd
  5. def ->[B](y: B): (Input, B)

    Implicit information
    This member is added by an implicit conversion from Input to ArrowAssoc[Input] performed by method any2ArrowAssoc in scala.Predef.
    Definition Classes
    ArrowAssoc
    Annotations
    @inline()
  6. final def ==(arg0: AnyRef): Boolean

    Definition Classes
    AnyRef
  7. final def ==(arg0: Any): Boolean

    Definition Classes
    Any
  8. final def asInstanceOf[T0]: T0

    Definition Classes
    Any
  9. var children: List[Resolvent]

    Definition Classes
    ProofNode
  10. val clause: Clause

    Definition Classes
    InputProofNode
  11. def clone(): AnyRef

    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @throws()
  12. def delete: Unit

    Definition Classes
    ProofNode
  13. def duplicate: ProofNode

    Definition Classes
    ProofNode
  14. def ensuring(cond: (Input) ⇒ Boolean, msg: ⇒ Any): Input

    Implicit information
    This member is added by an implicit conversion from Input to Ensuring[Input] performed by method any2Ensuring in scala.Predef.
    Definition Classes
    Ensuring
  15. def ensuring(cond: (Input) ⇒ Boolean): Input

    Implicit information
    This member is added by an implicit conversion from Input to Ensuring[Input] performed by method any2Ensuring in scala.Predef.
    Definition Classes
    Ensuring
  16. def ensuring(cond: Boolean, msg: ⇒ Any): Input

    Implicit information
    This member is added by an implicit conversion from Input to Ensuring[Input] performed by method any2Ensuring in scala.Predef.
    Definition Classes
    Ensuring
  17. def ensuring(cond: Boolean): Input

    Implicit information
    This member is added by an implicit conversion from Input to Ensuring[Input] performed by method any2Ensuring in scala.Predef.
    Definition Classes
    Ensuring
  18. final def eq(arg0: AnyRef): Boolean

    Definition Classes
    AnyRef
  19. def equals(arg0: Any): Boolean

    Definition Classes
    AnyRef → Any
  20. def finalize(): Unit

    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @throws()
  21. def forgetLiteralsBelow: Unit

    Definition Classes
    ProofNode
  22. def formatted(fmtstr: String): String

    Implicit information
    This member is added by an implicit conversion from Input to StringFormat performed by method any2stringfmt in scala.Predef.
    Definition Classes
    StringFormat
    Annotations
    @inline()
  23. final def getClass(): Class[_]

    Definition Classes
    AnyRef → Any
  24. def hashCode(): Int

    Definition Classes
    AnyRef → Any
  25. def isBelow(that: ProofNode): Boolean

    Definition Classes
    ProofNode
  26. final def isInstanceOf[T0]: Boolean

    Definition Classes
    Any
  27. def literalsBelow: HashMap[Resolvent, HashSet[Literal]]

    Definition Classes
    ProofNode
  28. final def ne(arg0: AnyRef): Boolean

    Definition Classes
    AnyRef
  29. final def notify(): Unit

    Definition Classes
    AnyRef
  30. final def notifyAll(): Unit

    Definition Classes
    AnyRef
  31. def replaces(that: ProofNode): Unit

    Definition Classes
    ProofNode
  32. def replacesAsParentOf(that: ProofNode, child: Resolvent): Unit

    Definition Classes
    ProofNode
  33. def replacesLeftParentOf(child: Resolvent): Unit

    Definition Classes
    ProofNode
  34. def replacesRightParentOf(child: Resolvent): Unit

    Definition Classes
    ProofNode
  35. final def synchronized[T0](arg0: ⇒ T0): T0

    Definition Classes
    AnyRef
  36. def toString(): String

    Definition Classes
    Input → AnyRef → Any
  37. final def wait(): Unit

    Definition Classes
    AnyRef
    Annotations
    @throws()
  38. final def wait(arg0: Long, arg1: Int): Unit

    Definition Classes
    AnyRef
    Annotations
    @throws()
  39. final def wait(arg0: Long): Unit

    Definition Classes
    AnyRef
    Annotations
    @throws()
  40. def [B](y: B): (Input, B)

    Implicit information
    This member is added by an implicit conversion from Input to ArrowAssoc[Input] performed by method any2ArrowAssoc in scala.Predef.
    Definition Classes
    ArrowAssoc

Shadowed Implict Value Members

  1. val self: Any

    Implicit information
    This member is added by an implicit conversion from Input to StringAdd performed by method any2stringadd in scala.Predef.
    Shadowing
    This implicitly inherited member is ambiguous. One or more implicitly inherited members have similar signatures, so calling this member may produce an ambiguous implicit conversion compiler error.
    To access this member you can use a type ascription:
    (input: StringAdd).self
    Definition Classes
    StringAdd
  2. val self: Any

    Implicit information
    This member is added by an implicit conversion from Input to StringFormat performed by method any2stringfmt in scala.Predef.
    Shadowing
    This implicitly inherited member is ambiguous. One or more implicitly inherited members have similar signatures, so calling this member may produce an ambiguous implicit conversion compiler error.
    To access this member you can use a type ascription:
    (input: StringFormat).self
    Definition Classes
    StringFormat

Deprecated Value Members

  1. def x: Input

    Implicit information
    This member is added by an implicit conversion from Input to ArrowAssoc[Input] performed by method any2ArrowAssoc in scala.Predef.
    Shadowing
    This implicitly inherited member is ambiguous. One or more implicitly inherited members have similar signatures, so calling this member may produce an ambiguous implicit conversion compiler error.
    To access this member you can use a type ascription:
    (input: ArrowAssoc[Input]).x
    Definition Classes
    ArrowAssoc
    Annotations
    @deprecated
    Deprecated

    (Since version 2.10.0) Use leftOfArrow instead

  2. def x: Input

    Implicit information
    This member is added by an implicit conversion from Input to Ensuring[Input] performed by method any2Ensuring in scala.Predef.
    Shadowing
    This implicitly inherited member is ambiguous. One or more implicitly inherited members have similar signatures, so calling this member may produce an ambiguous implicit conversion compiler error.
    To access this member you can use a type ascription:
    (input: Ensuring[Input]).x
    Definition Classes
    Ensuring
    Annotations
    @deprecated
    Deprecated

    (Since version 2.10.0) Use resultOfEnsuring instead

Inherited from ProofNode

Inherited from AnyRef

Inherited from Any

Inherited by implicit conversion any2stringadd from Input to StringAdd

Inherited by implicit conversion any2stringfmt from Input to StringFormat

Inherited by implicit conversion any2ArrowAssoc from Input to ArrowAssoc[Input]

Inherited by implicit conversion any2Ensuring from Input to Ensuring[Input]

Ungrouped