Iterator

java.lang.Object

es.ucm.maude.bindings.Iterator

public class Iterator extends Object

Method Summary

Modifier and Type

Method

Description

void

delete()

Term

getValue()

Term

getVariable()

void

nextAssignment()

Methods inherited from class java.lang.Object
equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Method Details
- delete
  
  public void delete()
- nextAssignment
  
  public void nextAssignment()
- getVariable
  
  public Term getVariable()
- getValue
  
  public Term getValue()