class
Input extends ProofNode
Instance Constructors
-
new
Input(clause: Clause)
Value Members
-
final
def
!=(arg0: AnyRef): Boolean
-
final
def
!=(arg0: Any): Boolean
-
final
def
##(): Int
-
def
+(other: String): String
-
def
->[B](y: B): (Input, B)
-
final
def
==(arg0: AnyRef): Boolean
-
final
def
==(arg0: Any): Boolean
-
final
def
asInstanceOf[T0]: T0
-
var
children: List[Resolvent]
-
-
def
clone(): AnyRef
-
def
delete: Unit
-
-
def
ensuring(cond: (Input) ⇒ Boolean, msg: ⇒ Any): Input
-
def
ensuring(cond: (Input) ⇒ Boolean): Input
-
def
ensuring(cond: Boolean, msg: ⇒ Any): Input
-
def
ensuring(cond: Boolean): Input
-
final
def
eq(arg0: AnyRef): Boolean
-
def
equals(arg0: Any): Boolean
-
def
finalize(): Unit
-
def
forgetLiteralsBelow: Unit
-
def
formatted(fmtstr: String): String
-
final
def
getClass(): Class[_]
-
def
hashCode(): Int
-
def
isBelow(that: ProofNode): Boolean
-
final
def
isInstanceOf[T0]: Boolean
-
def
literalsBelow: HashMap[Resolvent, HashSet[Literal]]
-
final
def
ne(arg0: AnyRef): Boolean
-
final
def
notify(): Unit
-
final
def
notifyAll(): Unit
-
def
replaces(that: ProofNode): Unit
-
def
replacesAsParentOf(that: ProofNode, child: Resolvent): Unit
-
def
replacesLeftParentOf(child: Resolvent): Unit
-
def
replacesRightParentOf(child: Resolvent): Unit
-
final
def
synchronized[T0](arg0: ⇒ T0): T0
-
def
toString(): String
-
final
def
wait(): Unit
-
final
def
wait(arg0: Long, arg1: Int): Unit
-
final
def
wait(arg0: Long): Unit
-
def
→[B](y: B): (Input, B)
Shadowed Implict Value Members
-
val
self: Any
-
val
self: Any
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]