Exemplo n.º 1
0
 public EdgeAggregator(List<ConcreteAST.GroundedClause> antes, ConcreteAST.GroundedClause c, Hypergraph.EdgeAnnotation ann)
 {
     antecedent = new List<ConcreteAST.GroundedClause>(antes);
     consequent = c;
     annotation = ann;
 }
Exemplo n.º 2
0
 //
 // Basic determination if the given node is in the hypergraph.
 //
 public bool QueryNodeInGraph(ConcreteAST.GroundedClause queryNode)
 {
     return graph.HasNode(queryNode);
 }