uk.ac.man.cs.rainbow.rapa.gcl
Class Rules

java.lang.Object
  |
  +--uk.ac.man.cs.rainbow.rapa.gcl.Rules

All Implemented Interfaces:

Serializable

public class Rules

extends Object

implements Serializable

A collection of GCL rules. This may be a complete GCL program provided the rules have been expanded correctly.

See Also:

Abstractor, Explorer, Serialized Form

Constructor Summary

Rules(ArrayList rules)

Rules(Rule[] rules)

Rules(Rule rule, Rules rules)

Rules(Rules rules1, Rules rules2)

Method Summary

Rules	expand(boolean selfContained)
Rules	expand(Channel[] hides)
Map	getNamingMap()
Rule[]	getRules()
Rule	getRules(int i)
void	setupNamingMap(ProgramCounterFactory pcf)
Rules	subst(GeneralSubstitution s)
Rules	subst(ProgramCounterFactory factory, int i, int n1, int n2)
String	toLaTeX()
String	toString()

Methods inherited from class java.lang.Object

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

Constructor Detail

Rules

public Rules(Rule[] rules)

Rules

public Rules(Rule rule,
             Rules rules)

Rules

public Rules(Rules rules1,
             Rules rules2)

Rules

public Rules(ArrayList rules)

Method Detail

getRules

public Rule[] getRules()

getRules

public Rule getRules(int i)

toString

public String toString()

Overrides:

toString in class Object

toLaTeX

public String toLaTeX()

subst

public Rules subst(GeneralSubstitution s)

subst

public Rules subst(ProgramCounterFactory factory,
                   int i,
                   int n1,
                   int n2)

expand

public Rules expand(boolean selfContained)

expand

public Rules expand(Channel[] hides)

setupNamingMap

public void setupNamingMap(ProgramCounterFactory pcf)

getNamingMap

public Map getNamingMap()