Module graph.explorer

Package de.grogra.graph.wrapped

Class SecRGGGraph

java.lang.Object

de.grogra.xl.impl.base.Graph

de.grogra.rgg.model.RGGGraph

de.grogra.graph.wrapped.SecRGGGraph

All Implemented Interfaces:

GraphContext, GraphManagerContext, Graph, Cloneable

public class SecRGGGraph
extends RGGGraph

Nested Class Summary

Nested classes/interfaces inherited from class de.grogra.xl.impl.base.Graph

Graph.QState, Graph.ThreadData

Field Summary

Fields inherited from class de.grogra.rgg.model.RGGGraph

XL_GRAPH

Fields inherited from class de.grogra.xl.impl.base.Graph

EXCLUDE_DELETED_FLAG, INTERPRETIVE_FLAG, MODE_MASK, PARALLEL_MODE, PARALLEL_NON_DETERMINISTIC_MODE, SEQUENTIAL_MODE, SEQUENTIAL_NON_DETERMINISTIC_MODE

Constructor Summary

Constructors

Constructor	Description
SecRGGGraph(Runtime model, GraphManager manager)

Method Summary

Modifier and Type	Method	Description
Object	getRoot()	Returns the root node of this graph.

Methods inherited from class de.grogra.rgg.model.RGGGraph

addQueues, beginModifications, canEnumerateEdges, canEnumerateNodes, commitModifications, createProducer, createQueue, createThreadData, createThreadData, derive, enumerateEdges, enumerateNodes, get, getGraph, getGraphManager, getNewGRSVertices, getPredecessor, getRoot, readQueues, removeInterpretiveNodes, removeInterpretiveNodesOnDerivation, setProductionCallback, setVisibleExtents, writeQueues

Methods inherited from class de.grogra.xl.impl.base.Graph

allowNoninjectiveMatchesByDefault, allowNoninjectiveMatchesForNextQuery, createMatcher, createQueryState, getDerivationMode, getModel, getQueues, getThreadData, initThreadData, removeThreadData, setDerivationMode

Methods inherited from class java.lang.Object

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

Constructor Details

SecRGGGraph

public SecRGGGraph(Runtime model,
 GraphManager manager)

Method Details

getRoot

public Object getRoot()

Description copied from interface: Graph

Returns the root node of this graph.

Specified by:

getRoot in interface Graph

Overrides:

getRoot in class RGGGraph

Returns:

the root