package impsMathParser
- Source
- impsMathParser.scala
Linear Supertypes
Ordering
- Alphabetic
- By Inheritance
Inherited
- impsMathParser
- AnyRef
- Any
- Hide All
- Show All
Visibility
- Public
- All
Type Members
- class SortParser extends RegexParsers with PackratParsers
- class SymbolicExpressionParser extends RegexParsers with PackratParsers
Value Members
- def freshVar(preferred: String, input: List[IMPSMathExp] = Nil): IMPSVar
- def makeApplication(sexp: SEXPNested): IMPSApply
- def makeConjunction(sexp: SEXPNested): IMPSConjunction
- def makeDisjunction(sexp: SEXPNested): IMPSDisjunction
- def makeEquals(sexp: SEXPNested): IMPSEquals
- def makeForSome(sexp: SEXPNested): IMPSForSome
- def makeForall(sexp: SEXPNested): IMPSForAll
- def makeIf(sexp: SEXPNested): IMPSIf
- def makeIff(sexp: SEXPNested): IMPSIff
- def makeIfform(sexp: SEXPNested): IMPSIfForm
- def makeImplication(sexp: SEXPNested): IMPSImplication
- def makeIota(sexp: SEXPNested): IMPSIota
- def makeIsDefined(sexp: SEXPNested): IMPSIsDefined
- def makeIsDefinedInSort(sexp: SEXPNested): IMPSIsDefinedIn
- def makeLambda(sexp: SEXPNested): IMPSLambda
- def makeNonvacuous(sexp: SEXPNested): IMPSNonVacuous
- def makeNot(sexp: SEXPNested): IMPSNegation
- def makeQuasiEquals(sexp: SEXPNested): IMPSQuasiEquals
- def makeSEXPFormula(sexp: SEXP): IMPSMathExp
- def makeSort(sexp: SEXP): IMPSSort
- def makeSortDecls(sexp: SEXPNested, inp: List[IMPSMathExp] = Nil): List[(IMPSVar, IMPSSort)]
- def makeTotal(sexp: SEXPNested): IMPSTotal
- def makeUndefined(sexp: SEXPNested): IMPSUndefined