object TreeToMath
Value Members
- final def !=(arg0: Any): Boolean
- final def ##: Int
- final def ==(arg0: Any): Boolean
- val addPP: Junction[Tree, MathExpr, II]
- val addPPST: Junction[Tree, MathExpr, III]
- val addST: Junction[Tree, MathExpr, II]
- val and: Junction[Tree, MathExpr, Vector]
- val andS: Junction[Tree, MathExpr, Vector]
- final def asInstanceOf[T0]: T0
- def clone(): AnyRef
- val dpBase: Junction[Tree, MathExpr, SVO]
- val dpBaseQuant: Junction[Tree, MathExpr, SVII]
- val dpBaseQuantZero: Junction[Tree, MathExpr, VII]
- val dpBaseZero: Junction[Tree, MathExpr, VO]
- val dpPpWhich: Junction[Tree, MathExpr, III]
- val dpQuant: Junction[Tree, MathExpr, SVI]
- val dpWhich: Junction[Tree, MathExpr, II]
- val dropNP: Junction[Tree, MathExpr, Vector]
- val dropRoot: Junction[Tree, MathExpr, Id]
- val dropThen: Junction[Tree, MathExpr, Vector]
- final def eq(arg0: AnyRef): Boolean
- def equals(arg0: AnyRef): Boolean
- val exists: Junction[Tree, MathExpr, Un]
- val existsSP: Junction[Tree, MathExpr, Id]
- val fmla: Junction[Tree, MathExpr, S]
- final def getClass(): Class[_ <: AnyRef]
- def hashCode(): Int
- val ifThen: Junction[Tree, MathExpr, II]
- val iff: Junction[Tree, MathExpr, II]
- val iffP: Junction[Tree, MathExpr, Vector]
- val innerIf: Junction[Tree, MathExpr, II]
- final def isInstanceOf[T0]: Boolean
- val it: Junction[Tree, MathExpr, Un]
- val jj: Junction[Tree, MathExpr, S]
- val jjpp: Junction[Tree, MathExpr, IV]
- val mathExpr: OrElse[Tree, MathExpr]
- def mathExprFormal(ss: String*): OrElse[Tree, MathExpr]
- val mathExprTree: OrElse[Tree, MathExpr]
- final def ne(arg0: AnyRef): Boolean
- val negvp: Junction[Tree, MathExpr, Id]
- val nn: Junction[Tree, MathExpr, S]
- final def notify(): Unit
- final def notifyAll(): Unit
- val npvp: Junction[Tree, MathExpr, II]
- val or: Junction[Tree, MathExpr, Vector]
- val orS: Junction[Tree, MathExpr, Vector]
- val pp: Junction[Tree, MathExpr, II]
- val prep: Junction[Tree, MathExpr, S]
- val purge: Junction[Tree, MathExpr, Id]
- val qp: Junction[Tree, MathExpr, III]
- final def synchronized[T0](arg0: => T0): T0
- val they: Junction[Tree, MathExpr, Un]
- def toString(): String
- val vb: Junction[Tree, MathExpr, S]
- val verbAdj: Junction[Tree, MathExpr, II]
- val verbIf: Junction[Tree, MathExpr, II]
- val verbNegAdj: Junction[Tree, MathExpr, II]
- val verbNegObj: Junction[Tree, MathExpr, II]
- val verbObj: Junction[Tree, MathExpr, II]
- val verbpp: Junction[Tree, MathExpr, IV]
- final def wait(arg0: Long, arg1: Int): Unit
- final def wait(arg0: Long): Unit
- final def wait(): Unit
- val which: Junction[Tree, MathExpr, Id]
Deprecated Value Members
- def finalize(): Unit