Class ArgumentIterator

java.lang.Object
es.ucm.maude.bindings.ArgumentIterator
public class ArgumentIterator extends Object
An iterator through the arguments of a term.

  • Method Details

    • delete

      public void delete()

    • valid

      public boolean valid()
      Is this iterator pointing to a valid argument?

    • __next

      public void __next()
      Advance the iterator to the next argument.

    • argument

      public Term argument()
      Get the argument pointed by this iterator.