uk.ac.man.cs.rainbow.rapa.abstraction
Class Abstractor

java.lang.Object
  |
  +--uk.ac.man.cs.rainbow.rapa.abstraction.Abstractor

public class Abstractor

extends Object

Abstract execution engine.

See Also:

Parse

Constructor Summary

Abstractor(String abstractionDefinition, Rules gcl)

Method Summary

Set	channels()
State	getInitState()
Transition	getRandomStep(State state, Random rng)
Set	getSteps(State state)
void	print() Debugging interface.

Methods inherited from class java.lang.Object

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

Constructor Detail

Abstractor

public Abstractor(String abstractionDefinition,
                  Rules gcl)

Method Detail

getInitState

public State getInitState()

getSteps

public Set getSteps(State state)

getRandomStep

public Transition getRandomStep(State state,
                                Random rng)

channels

public Set channels()

print

public void print()

Debugging interface.

See Also:

Examples