Class NodeTransformSubst

    • Method Summary

      All Methods Instance Methods Concrete Methods 
      Modifier and Type Method Description
      Node apply​(Node node)  
      • Methods inherited from class java.lang.Object

        equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
      • Methods inherited from interface java.util.function.Function

        andThen, compose
    • Constructor Detail

      • NodeTransformSubst

        public NodeTransformSubst​(java.util.Map<Var,​? extends Node> map)
    • Method Detail

      • apply

        public Node apply​(Node node)
        Specified by:
        apply in interface java.util.function.Function<Node,​Node>