|
GreaterThanOrEqualSpecification::isSpecialCaseOfGreaterThanOrEqualSpecification()
|
6
|
5 |
|
GreaterThanSpecification::isGeneralizationOfGreaterThanSpecification()
|
6
|
5 |
|
LessThanOrEqualSpecification::isSpecialCaseOfLessThanOrEqualSpecification()
|
6
|
5 |
|
LessThanOrEqualSpecification::isGeneralizationOfLessThanOrEqualSpecification()
|
6
|
5 |
|
CompositeSpecification::remainderUnsatisfiedBy()
|
4
|
15 |
|
ValueBoundSpecification::subsumptionProcess()
|
3
|
14 |
|
CompositeSpecification::isSatisfiedBy()
|
3
|
10 |
|
AndNotSpecification::isSatisfiedBy()
|
2
|
5 |
|
AndSpecification::isSatisfiedBy()
|
2
|
5 |
|
Candidate::get()
|
2
|
6 |
|
|