Scala API

This document is the API specification for Scala Library

Class Summary
abstract class BasicTransformer extends (Node) => Node
A class for XML transformations.
abstract class RewriteRule extends BasicTransformer
a RewriteRule, when applied to a term, yields either the resulting of rewriting or the term itself it the rule is not applied.
class RuleTransformer (rules : RewriteRule*) extends BasicTransformer