public TemplateProblemGenerator(Hypergraph.Hypergraph<ConcreteAST.GroundedClause, Hypergraph.EdgeAnnotation> g,
                                 Pebbler.PebblerHypergraph<ConcreteAST.GroundedClause, Hypergraph.EdgeAnnotation> pebblerG,
                                 ProblemAnalyzer.PathGenerator generator)
 {
     graph = g;
     pebblerGraph = pebblerG;
     pathGenerator = generator;
 }
Exemplo n.º 2
0
 //
 // Create the Pebbler version of the hypergraph for analysis (integer-based hypergraph)
 //
 private void ConstructPebblingHypergraph()
 {
     // Create the Pebbler version of the hypergraph (all integer representation) from the original hypergraph
     pebblerGraph = graph.GetPebblerHypergraph();
 }