main page modules namespaces classes files
Gecode/J home

ExplorerTest.java

Go to the documentation of this file.

package examples;

import static org.gecode.Gecode.*;
import static org.gecode.GecodeEnumConstants.*;

import org.gecode.explorer.*;

public class ExplorerTest extends Photo implements ExplorerEventListener {
    public ExplorerTest(PhotoSpec s) {
        super(s);
    }
    public ExplorerTest(Boolean share, ExplorerTest et) {
        super(share, (Photo)et);
    }
    
    public static void main(String[] args) {
        ExplorerTest t = new ExplorerTest(new Small());
        Explorer e = new Explorer(t, true);
        e.openUI();
        e.exploreAll();
        e.addEventListener(t);
    }
    
    public void nodeClickEvent(Inspector i, SpaceNode s) {
        i.inspect("From ExplorerEvent nodeClickEvent:\n" +
                           s.getSpace().toString());
    }

    public String getName() {
        return "ExplorerTest Event Listener";
    }
}