Module graph.explorer

Package de.grogra.graph.object.sg.impl

Class SecRGGGraph

java.lang.Object

de.grogra.xl.impl.base.Graph

de.grogra.rgg.model.RGGGraph

de.grogra.graph.object.sg.impl.SecRGGGraph

All Implemented Interfaces:

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.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

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

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

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

allowNoninjectiveMatchesByDefault, allowNoninjectiveMatchesForNextQuery, areComparableScales, createMatcher, createQueryState, enumerateSpaces, getDerivationMode, getMinimumEncoarseDepthDiff, getModel, getQueues, getScaleValue, getThreadData, getTypeNode, getTypeNode, isInTypeGraph, isSameScale, setDerivationMode, sortedTypeGraph

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)