at.ac.tuwien.dbai.alternation.examples
Class PEBBLE

java.lang.Object
  at.ac.tuwien.dbai.alternation.examples.PEBBLE

public class PEBBLE
extends java.lang.Object

Nested Class Summary

class	PEBBLE.Inputtape
class	PEBBLE.Worktape

Constructor Summary

PEBBLE()

Method Summary

boolean	compute(java.util.Set<java.lang.String> pebbles, java.util.Set<java.util.List<java.lang.String>> rules, java.lang.String goal, java.lang.String[] startSet)
ComputationTree<PEBBLE.Worktape>	getComputationTree()

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

PEBBLE

public PEBBLE()

Method Detail

compute

public boolean compute(java.util.Set<java.lang.String> pebbles,
                       java.util.Set<java.util.List<java.lang.String>> rules,
                       java.lang.String goal,
                       java.lang.String[] startSet)

getComputationTree

public ComputationTree<PEBBLE.Worktape> getComputationTree()