Class View

java.lang.Object
es.ucm.maude.bindings.View
public class View extends Object
A Maude view.

  • Method Details

    • delete

      public void delete()

    • getFromTheory

      public Module getFromTheory()
      Get the from theory of the view.

    • getToModule

      public Module getToModule()
      Get the to module of the view.

    • toLatex

      public String toLatex(boolean all)
      Get the LaTeX representation of the view.

      Parameters:
      all - Whether to show the processed view.

    • toLatex

      public String toLatex()
      Get the LaTeX representation of the view.

    • toString

      public String toString()
      Overrides:
      toString in class Object