public class CycleExistenceAnalysis extends Analysis
| Red (ssb) |
| Red (shahrooz) |
| Constructor and Description |
|---|
CycleExistenceAnalysis(CycleExistenceAnalyzer analyzer)
Construct an instance of this class with a given analyzer.
|
CycleExistenceAnalysis(Graph graph)
Construct an instance of this class for a given graph, using a
default analyzer that runs in O(N^3) in which N is the number of nodes.
|
| Modifier and Type | Method and Description |
|---|---|
boolean |
hasCycle()
Check if the graph under analysis has at least one cycle.
|
java.lang.String |
toString()
Return a description of the analysis and the associated analyzer.
|
boolean |
validAnalyzerInterface(Analyzer analyzer)
Check if a given analyzer is compatible with this analysis.
|
analyzer, changeAnalyzer, graph, validpublic CycleExistenceAnalysis(Graph graph)
graph - The given directed graph.public CycleExistenceAnalysis(CycleExistenceAnalyzer analyzer)
analyzer - The default Analyzer.public boolean hasCycle()
public java.lang.String toString()
public boolean validAnalyzerInterface(Analyzer analyzer)
validAnalyzerInterface in class Analysisanalyzer - The given analyzer.