Packages

p

info.kwarc.mmt.imps

impsMathParser

package impsMathParser

Source
impsMathParser.scala
Linear Supertypes
Ordering
  1. Alphabetic
  2. By Inheritance
Inherited
  1. impsMathParser
  2. AnyRef
  3. Any
  1. Hide All
  2. Show All
Visibility
  1. Public
  2. All

Type Members

  1. class SortParser extends RegexParsers with PackratParsers
  2. class SymbolicExpressionParser extends RegexParsers with PackratParsers

Value Members

  1. def freshVar(preferred: String, input: List[IMPSMathExp] = Nil): IMPSVar
  2. def makeApplication(sexp: SEXPNested): IMPSApply
  3. def makeConjunction(sexp: SEXPNested): IMPSConjunction
  4. def makeDisjunction(sexp: SEXPNested): IMPSDisjunction
  5. def makeEquals(sexp: SEXPNested): IMPSEquals
  6. def makeForSome(sexp: SEXPNested): IMPSForSome
  7. def makeForall(sexp: SEXPNested): IMPSForAll
  8. def makeIf(sexp: SEXPNested): IMPSIf
  9. def makeIff(sexp: SEXPNested): IMPSIff
  10. def makeIfform(sexp: SEXPNested): IMPSIfForm
  11. def makeImplication(sexp: SEXPNested): IMPSImplication
  12. def makeIota(sexp: SEXPNested): IMPSIota
  13. def makeIsDefined(sexp: SEXPNested): IMPSIsDefined
  14. def makeIsDefinedInSort(sexp: SEXPNested): IMPSIsDefinedIn
  15. def makeLambda(sexp: SEXPNested): IMPSLambda
  16. def makeNonvacuous(sexp: SEXPNested): IMPSNonVacuous
  17. def makeNot(sexp: SEXPNested): IMPSNegation
  18. def makeQuasiEquals(sexp: SEXPNested): IMPSQuasiEquals
  19. def makeSEXPFormula(sexp: SEXP): IMPSMathExp
  20. def makeSort(sexp: SEXP): IMPSSort
  21. def makeSortDecls(sexp: SEXPNested, inp: List[IMPSMathExp] = Nil): List[(IMPSVar, IMPSSort)]
  22. def makeTotal(sexp: SEXPNested): IMPSTotal
  23. def makeUndefined(sexp: SEXPNested): IMPSUndefined

Inherited from AnyRef

Inherited from Any

Ungrouped