Class DefaultGraphInvariantList

public class DefaultGraphInvariantList

extends java.lang.Object

implements GraphInvariantList

Default implementation of GraphInvariantListModel.

Constructor Summary
`DefaultGraphInvariantList()`
`DefaultGraphInvariantList(GraphList graphList)`
`DefaultGraphInvariantList(GraphList graphList, InvariantList invariantList)`
`DefaultGraphInvariantList(InvariantList invariantList)`

public DefaultGraphInvariantList()

public DefaultGraphInvariantList(GraphList graphList)

public DefaultGraphInvariantList(GraphList graphList,
                                 InvariantList invariantList)

public DefaultGraphInvariantList(InvariantList invariantList)

public GraphList getGraphList()

Specified by:
getGraphList in interface GraphInvariantList

public InvariantList getInvariantList()

Specified by:
getInvariantList in interface GraphInvariantList

public String getName()

Specified by:
getName in interface GraphInvariantList

public URI getURI()

Specified by:
getURI in interface GraphInvariantList

public void setName(String name)

Specified by:
setName in interface GraphInvariantList

public void setURI(URI uri)

Specified by:
setURI in interface GraphInvariantList

Overview Package Tree Index Deprecated About
Prev Class \| Next Class	Frames \| No Frames
Summary: Nested \| Field \| Method \| Constr	Detail: Nested \| Field \| Method \| Constr

Constructor Summary