Package de.saar.chorus.domgraph.chart

Class SolvedFormSpec

java.lang.Object

de.saar.chorus.domgraph.chart.SolvedFormSpec

public class SolvedFormSpec
extends Object

Constructor Summary

Constructors

Constructor	Description
SolvedFormSpec()
SolvedFormSpec(List<DomEdge> domedges, Map<String,String> subst)

Method Summary

Modifier and Type	Method	Description
void	addAllDomEdges(Collection<DomEdge> edges)
void	addSubstitution(Map<String,String> substitution)
List<DomEdge>	getDomEdges()
Map<String,String>	getSubstitution()
String	toString()

Methods inherited from class java.lang.Object

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

Constructor Details

SolvedFormSpec

public SolvedFormSpec(List<DomEdge> domedges,
 Map<String,String> subst)

SolvedFormSpec

public SolvedFormSpec()

Method Details

getDomEdges

public List<DomEdge> getDomEdges()

getSubstitution

public Map<String,String> getSubstitution()

addAllDomEdges

public void addAllDomEdges(Collection<DomEdge> edges)

addSubstitution

public void addSubstitution(Map<String,String> substitution)

toString

public String toString()

Overrides:

toString in class Object