-
final
def
!=(arg0: Any): Boolean
-
final
def
##(): Int
-
final
def
==(arg0: Any): Boolean
-
See EquationLeft1Rule. Performs the same as EquationLeft1Rule.apply, but a and b are switched in the rule:
(rest of s1) (rest of s2)
sL |- a=b, sR tr, A[T1/b] |- tR
------------------------------------ (EqLeft2)
sL, A[T1/a], tL |- sR, tR
-
-
See EquationLeft1Rule. Performs the same as EquationLeft1Rule.apply, but a and b are switched in the rule:
(rest of s1) (rest of s2)
sL |- a=b, sR tr, A[T1/b] |- tR
------------------------------------ (EqLeft2)
sL, A[T1/a], tL |- sR, tR
-
-
See EquationLeft1Rule. Performs the same as EquationLeft1Rule.apply, but a and b are switched in the rule:
(rest of s1) (rest of s2)
sL |- a=b, sR tr, A[T1/b] |- tR
------------------------------------ (EqLeft2)
sL, A[T1/a], tL |- sR, tR
-
final
def
asInstanceOf[T0]: T0
-
def
clone(): AnyRef
-
def
debug(msg: ⇒ String): Unit
-
-
-
def
error(msg: ⇒ String, e: Throwable): Nothing
-
def
error(msg: ⇒ String): Unit
-
def
finalize(): Unit
-
final
def
getClass(): Class[_]
-
def
hashCode(): Int
-
def
info(msg: ⇒ String): Unit
-
final
def
isInstanceOf[T0]: Boolean
-
val
log: Logger
-
def
loggerName: String
-
-
final
def
notify(): Unit
-
final
def
notifyAll(): Unit
-
final
def
synchronized[T0](arg0: ⇒ T0): T0
-
def
toString(): String
-
def
trace(msg: ⇒ String): Unit
-
-
final
def
wait(): Unit
-
final
def
wait(arg0: Long, arg1: Int): Unit
-
final
def
wait(arg0: Long): Unit
-
def
warn(msg: ⇒ String, e: Throwable): Unit
-
def
warn(msg: ⇒ String): Unit