NodeVisitorInterface.java
Go to the documentation of this file.00001 /* -*- indent-tabs-mode: nil -*- */ 00002 package org.gecode.gist; 00003 00004 00005 public interface NodeVisitorInterface { 00006 abstract public void setCursor(NodeCursorInterface cursor); 00007 abstract public NodeCursorInterface getCursor(); 00008 abstract public boolean next(); 00009 }