edu.nyu.jet.pat

Class PatternAlternation

java.lang.Object

edu.nyu.jet.pat.PatternElement

edu.nyu.jet.pat.PatternAlternation

public class PatternAlternation
extends PatternElement

a pattern element for recording an alternation of patterns (A | B | C).

Constructor Summary

Constructors

Constructor and Description
PatternAlternation(PatternElement[] opts)
PatternAlternation(Vector opts)

Method Summary

Methods

Modifier and Type	Method and Description
PatternGraph	toGraph(Id id)
String	toString()

Methods inherited from class java.lang.Object

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

Constructor Detail

PatternAlternation

public PatternAlternation(PatternElement[] opts)

PatternAlternation

public PatternAlternation(Vector opts)

Method Detail

toString

public String toString()

Specified by:

toString in class PatternElement

toGraph

public PatternGraph toGraph(Id id)

Specified by:

toGraph in class PatternElement