private bool AreRangedEqualDeductiveSteps(QueryFeatureVector query, Problem <Hypergraph.EdgeAnnotation> thisProblem, Problem <Hypergraph.EdgeAnnotation> thatProblem) { return(query.stepsPartitions.GetPartitionIndex(thisProblem.GetNumDeductiveSteps()) == query.stepsPartitions.GetPartitionIndex(thatProblem.GetNumDeductiveSteps())); }
private bool AreEqualDeductiveSteps(Problem <Hypergraph.EdgeAnnotation> thisProblem, Problem <Hypergraph.EdgeAnnotation> thatProblem) { return(thisProblem.GetNumDeductiveSteps() == thatProblem.GetNumDeductiveSteps()); }