public class Partitions extends GraphResult
Constructor and Description |
---|
Partitions(GraphPartitioner graphPartitioner,
ElementGraph beginGraph,
ElementGraph contractedGraph,
List<Match> contractedMatches,
Map<ElementGraph,EnumMultiMap> annotatedSubGraphs) |
Partitions(GraphPartitioner graphPartitioner,
ElementGraph beginGraph,
Map<ElementGraph,EnumMultiMap> annotatedSubGraphs) |
Modifier and Type | Method and Description |
---|---|
Map<ElementGraph,EnumMultiMap> |
getAnnotatedSubGraphs() |
ElementGraph |
getBeginGraph() |
ElementGraph |
getEndGraph() |
String |
getRuleName() |
List<ElementGraph> |
getSubGraphs() |
boolean |
hasContractedMatches() |
boolean |
hasSubGraphs() |
void |
setRulePartitioner(RulePartitioner rulePartitioner) |
void |
writeDOTs(String path) |
makeFileName, writeBeginGraph, writeEndGraph
public Partitions(GraphPartitioner graphPartitioner, ElementGraph beginGraph, Map<ElementGraph,EnumMultiMap> annotatedSubGraphs)
public Partitions(GraphPartitioner graphPartitioner, ElementGraph beginGraph, ElementGraph contractedGraph, List<Match> contractedMatches, Map<ElementGraph,EnumMultiMap> annotatedSubGraphs)
public void setRulePartitioner(RulePartitioner rulePartitioner)
public String getRuleName()
getRuleName
in class GraphResult
public ElementGraph getBeginGraph()
getBeginGraph
in class GraphResult
public ElementGraph getEndGraph()
getEndGraph
in class GraphResult
public Map<ElementGraph,EnumMultiMap> getAnnotatedSubGraphs()
public boolean hasSubGraphs()
public boolean hasContractedMatches()
public List<ElementGraph> getSubGraphs()
public void writeDOTs(String path)
writeDOTs
in class GraphResult
Copyright © 2007-2015 Concurrent, Inc. All Rights Reserved.