Class StrategyExpression

java.lang.Object
es.ucm.maude.bindings.StrategyExpression
public class StrategyExpression extends Object
An expression of the Maude strategy language.

  • Method Details

    • delete

      public void delete()

    • equal

      public boolean equal(StrategyExpression other)
      Check whether two strategy expression are the same.

      Note: Not accurate (false negatives).

    • toLatex

      public String toLatex()
      Obtain the LaTeX representation of this strategy expression.

    • toString

      public String toString()
      Overrides:
      toString in class Object