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