public class NodeTransformSubst extends Object implements NodeTransform
NodeTransform
Node
NodeTransformSubst(Map<Var,? extends Node> map)
apply(Node node)
equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
andThen, compose, identity
public NodeTransformSubst(Map<Var,? extends Node> map)
public Node apply(Node node)
apply
Function<Node,Node>
Licenced under the Apache License, Version 2.0