substitute method

  1. @override
Conjunction substitute(
  1. Map<Variable, Node>? bindings
)
override

Substitutes variables in this node with their bound values in bindings.

Implementation

@override
Conjunction substitute(Map<Variable, Node>? bindings) =>
    Conjunction(arguments.map((arg) => arg.substitute(bindings)));