object JustificationParser
- Source
- Reasoning.scala
Linear Supertypes
Ordering
- Alphabetic
- By Inheritance
Inherited
- JustificationParser
- AnyRef
- Any
- Hide All
- Show All
Visibility
- Public
- All
Value Members
-
final
def
!=(arg0: Any): Boolean
- Definition Classes
- AnyRef → Any
-
final
def
##(): Int
- Definition Classes
- AnyRef → Any
-
final
def
==(arg0: Any): Boolean
- Definition Classes
- AnyRef → Any
-
final
def
asInstanceOf[T0]: T0
- Definition Classes
- Any
-
def
clone(): AnyRef
- Attributes
- protected[lang]
- Definition Classes
- AnyRef
- Annotations
- @throws( ... ) @native()
-
final
def
eq(arg0: AnyRef): Boolean
- Definition Classes
- AnyRef
-
def
equals(arg0: Any): Boolean
- Definition Classes
- AnyRef → Any
-
def
finalize(): Unit
- Attributes
- protected[lang]
- Definition Classes
- AnyRef
- Annotations
- @throws( classOf[java.lang.Throwable] )
-
final
def
getClass(): Class[_]
- Definition Classes
- AnyRef → Any
- Annotations
- @native()
-
def
hashCode(): Int
- Definition Classes
- AnyRef → Any
- Annotations
- @native()
-
final
def
isInstanceOf[T0]: Boolean
- Definition Classes
- Any
- def makeAuxiliaryItems(nds: Seq[Node]): Seq[Node]
-
final
def
ne(arg0: AnyRef): Boolean
- Definition Classes
- AnyRef
-
final
def
notify(): Unit
- Definition Classes
- AnyRef
- Annotations
- @native()
-
final
def
notifyAll(): Unit
- Definition Classes
- AnyRef
- Annotations
- @native()
- def parseAssume(n: Node): MizAssume
- def parseAuxiliaryItem(n: Node): MizAuxiliaryItem
- def parseBlockThesis(n: Node): MizBlockThesis
- def parseConclusion(n: Node): MizConclusion
- def parseConsider(n: Node): MizConsider
- def parseDefFunc(n: Node): MizDefFunc
- def parseDefPred(n: Node): MizDefPred
- def parseGiven(n: Node): MizGiven
- def parseInference(n: Node): MizInference
- def parseIterEquality(n: Node): MizIterEquality
- def parseIterStep(n: Node): MizIterStep
- def parseJustification(n: Node): MizJustification
- def parseJustifiedProposition(n: Node): MizJustifiedProposition
- def parseLet(n: Node): MizLet
- def parseNow(n: Node): MizNow
- def parseProof(n: Node): MizProof
- def parseProofItem(n: Node): Option[MizProofItem]
- def parsePropWithJust(n: Node): MizPropWithJust
- def parseReasoning(n: Node): MizReasoning
- def parseReconsider(n: Node): MizReconsider
- def parseRef(n: Node): MizRef
- def parseSet(n: Node): MizSet
- def parseSkeletonItem(n: Node): MizSkeletonItem
- def parseTake(n: Node): MizTake
- def parseTakeAsVar(n: Node): MizTakeAsVar
- def parseThesis(n: Node): MizThesis
-
final
def
synchronized[T0](arg0: ⇒ T0): T0
- Definition Classes
- AnyRef
-
def
toString(): String
- Definition Classes
- AnyRef → Any
-
final
def
wait(): Unit
- Definition Classes
- AnyRef
- Annotations
- @throws( ... )
-
final
def
wait(arg0: Long, arg1: Int): Unit
- Definition Classes
- AnyRef
- Annotations
- @throws( ... )
-
final
def
wait(arg0: Long): Unit
- Definition Classes
- AnyRef
- Annotations
- @throws( ... ) @native()