org.rdtdm.rule.space
Class RSEdge

java.lang.Object
  |
  +--org.rdtdm.helpers.graph.Edge
        |
        +--org.rdtdm.rule.space.RSEdge

public class RSEdge

extends Edge

RSEdge Edge for RuleSchemata.

Copyright (c) 2001 by Dirk Münstermann
All Rights Reserved

Version:

$Revision:$ ($Date:$)

Changelog:

 $Log:$
 

Author:

Dirk Münstermann

Field Summary

Fields inherited from class org.rdtdm.helpers.graph.Edge

Constructor Summary

RSEdge()

RSEdge(Node from, Node to)

RSEdge(Node from, Node to, java.util.Collection subs)

Method Summary

java.util.Collection	getSubstitutions()
void	setSubstitutions(java.util.Collection subs)

Methods inherited from class org.rdtdm.helpers.graph.Edge

getContent, getFrom, getTo, setContent, setFrom, setTo, toString

Methods inherited from class java.lang.Object

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

Constructor Detail

RSEdge

public RSEdge()

RSEdge

public RSEdge(Node from,
              Node to)

RSEdge

public RSEdge(Node from,
              Node to,
              java.util.Collection subs)

Method Detail

setSubstitutions

public void setSubstitutions(java.util.Collection subs)

getSubstitutions

public java.util.Collection getSubstitutions()