Module: Metamorpher::Rewriter::Substitution

Included in:
Terms::Term
Defined in:
lib/metamorpher/rewriter/substitution.rb

Instance Method Summary collapse

Instance Method Details

#substitute(substitution) ⇒ Object 



6
7
8
 
# File 'lib/metamorpher/rewriter/substitution.rb', line 6

def substitute(substitution)
  accept SubstitutionVisitor.new(substitution)
end