Class ConditionFragment

java.lang.Object
es.ucm.maude.bindings.ConditionFragment
Direct Known Subclasses:
AssignmentCondition, EqualityCondition, RewriteCondition, SortTestCondition
public class ConditionFragment extends Object
A generic condition fragment.

  • Method Details

    • delete

      public void delete()

    • toString

      public String toString()
      Overrides:
      toString in class Object