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