org.activemath.content.mediator.rewriter
Class PatternPOSet

java.lang.Object
  org.activemath.content.mediator.rewriter.PatternPOSet

public class PatternPOSet
extends Object

Field Summary

protected static boolean

DEBUG

Constructor Summary

PatternPOSet()

Method Summary

void	add(Pattern o)
Set	getAllCildrenPatterns(Pattern pattern) Collects all Children Elements and returns a set containing all the patterns of all the elements.
Set	getAllFatherPatterns(Pattern pattern)
org.activemath.content.mediator.rewriter.PatternPOSet.POSetElement	getElement(Pattern pattern) Returns the Element which has the given pattern in it.

Methods inherited from class java.lang.Object

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

Field Detail

DEBUG

protected static final boolean DEBUG

Constructor Detail

PatternPOSet

public PatternPOSet()

Method Detail

add

public void add(Pattern o)

getElement

public org.activemath.content.mediator.rewriter.PatternPOSet.POSetElement getElement(Pattern pattern)

Returns the Element which has the given pattern in it.

Parameters:

pattern -

Returns:

getAllCildrenPatterns

public Set getAllCildrenPatterns(Pattern pattern)

Collects all Children Elements and returns a set containing all the patterns of all the elements.

Parameters:

pattern -

Returns:

a set of matching patterns

getAllFatherPatterns

public Set getAllFatherPatterns(Pattern pattern)