Function substituteInExpression

substituteInExpression(
    c: TransformationContext,
    expression: Expression,
    assertions: AssertionView,
    cVars: ReadonlySet<string>,
): Expression
Substitutes assertions (theta) into an expression and folds what becomes constant: simplify(R[theta]).

Substitution is not uniform textual replacement: BOUND is the only SPARQL built-in whose grammar takes a bare Var instead of an Expression, so bound(?x) becomes true rather than the ungrammatical BOUND(<ex://p>).
Parameters
- c: TransformationContext
  The transformation context
- expression: Expression
  The expression to substitute into
- assertions: AssertionView
  What the conjunction decides about it
- cVars: ReadonlySet<string>
  The variables certainly bound where the expression is evaluated, which is the only thing that decides sameTerm(?x, ?x); the conjunction proves a few more of them by itself
Returns Expression
the substituted, folded expression
- Defined in lib/utils/partialExpressionEvaluation.ts:49