Extension class that provides string interpolation functions for various expression types.
Value parameters
- sc
-
A StringContext
Attributes
- Companion
- object
- Source
- ExpressionParseHelper.scala
- Graph
-
- Supertypes
-
class Objecttrait Matchableclass Any
Members list
Value members
Concrete methods
Parses a string as a gapt.logic.hol.ClauseSetPredicateEliminationProblem if no skolemization of input formula is required
Parses a string as a gapt.logic.hol.ClauseSetPredicateEliminationProblem if no skolemization of input formula is required
Attributes
- Source
- ExpressionParseHelper.scala
Parses a string as a gapt.proofs.FOLClause.
Parses a string as a gapt.expr.formula.fol.FOLAtom.
Parses a string as a gapt.expr.formula.fol.FOLConst.
Parses a string as a gapt.expr.formula.fol.FOLExpression.
Parses a string as a gapt.expr.formula.fol.FOLExpression.
Attributes
- Source
- ExpressionParseHelper.scala
Parses a string as a gapt.expr.formula.fol.FOLFormula.
Parses a string as a gapt.expr.formula.fol.FOLFormula.
Attributes
- Source
- ExpressionParseHelper.scala
Parses a string as a gapt.proofs.FOLSequent.
Parses a string as a gapt.expr.formula.fol.FOLTerm.
Parses a string as a gapt.expr.formula.fol.FOLVar.
Parses a string as a gapt.proofs.HOLClause.
Parses a string as a gapt.expr.formula.Atom.
Parses a string as a Const.
Parses a string as a gapt.expr.formula.Formula.
Parses a string as a labelled sequent.
Parses a string as a gapt.proofs.HOLSequent.
Parses a string as a Var.
Parses a string as a Expr.
Parses a string as a gapt.logic.hol.PredicateEliminationProblem
Parses a string as a gapt.logic.hol.PredicateEliminationProblem
Attributes
- Source
- ExpressionParseHelper.scala
Attributes
- Source
- ExpressionParseHelper.scala