public HypergraphWrapper(Hypergraph.Hypergraph<ConcreteAST.GroundedClause, Hypergraph.EdgeAnnotation> g) { graph = g; hintGenerator = new HintGenerator.HintGenerator(g); }
public HypergraphWrapper(Hypergraph.Hypergraph <ConcreteAST.GroundedClause, Hypergraph.EdgeAnnotation> g) { graph = g; hintGenerator = new HintGenerator.HintGenerator(g); }