WeightedSubtermStrategy

java.lang.Object

es.ucm.maude.bindings.StrategyExpression

es.ucm.maude.bindings.SubtermStrategy

es.ucm.maude.bindings.WeightedSubtermStrategy

public class WeightedSubtermStrategy extends SubtermStrategy

Subterm rewriting strategy that asssociates a weight to every match

Method Summary

Modifier and Type

Method

Description

void

delete()

Term

getWeight()

Get the weight term

String

toString()

Methods inherited from class SubtermStrategy
getCondition, getDepth, getPattern, getStrategies, getSubterms

Methods inherited from class StrategyExpression
equal, toLatex

Methods inherited from class Object
equals, getClass, hashCode, notify, notifyAll, wait, wait, wait

Method Details
- delete
  
  public void delete()
  
  Overrides:
  
  delete in class SubtermStrategy
- getWeight
  
  public Term getWeight()
  
  Get the weight term
- toString
  
  public String toString()
  
  Overrides:
  
  toString in class SubtermStrategy