Interface CopyVisitor.IVariableReplacer

    • Method Detail

      • mapLeaf

        ConstraintSyntaxTree mapLeaf​(Variable variable)
        Maps a leaf variable.
        Parameters:
        variable - the variable to be mapped
        Returns:
        the mapped expression or null if there is no mapping
      • mapSelf

        ConstraintSyntaxTree mapSelf​(Self self)
        Maps a leaf node.
        Parameters:
        self - the node to be mapped
        Returns:
        the mapped expression or null if there is no mapping