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