|
A
|
CompositeSpecification::remainderUnsatisfiedBy()
|
0
|
15
|
4
|
4.03
|
0
|
0
|
0
|
|
A
|
ValueBoundSpecification::subsumptionProcess()
|
0
|
14
|
3
|
3.03
|
0
|
0
|
0
|
|
A
|
CompositeSpecification::isSatisfiedBy()
|
0
|
10
|
3
|
3
|
0
|
0
|
0
|
|
A
|
AndSpecification::isSatisfiedBy()
|
5
|
5
|
2
|
2
|
0
|
0
|
0
|
|
A
|
GreaterThanSpecification::isGeneralizationOfGreaterThanOrEqualSpecification()
|
5
|
5
|
2
|
2
|
0
|
0
|
0
|
|
A
|
LessThanSpecification::isSpecialCaseOfLessThanSpecification()
|
0
|
4
|
1
|
2
|
0
|
0
|
0
|
|
A
|
GreaterThanOrEqualSpecification::isGeneralizationOfGreaterThanOrEqualSpecification()
|
5
|
5
|
2
|
2
|
0
|
0
|
0
|
|
A
|
LessThanOrEqualSpecification::isSpecialCaseOfLessThanSpecification()
|
5
|
5
|
2
|
2
|
0
|
0
|
0
|
|
A
|
ValueBoundSpecification::isSpecialCaseOf()
|
0
|
4
|
1
|
1
|
0
|
0
|
0
|
|
A
|
ContainsSpecification::isSatisfiedBy()
|
0
|
4
|
1
|
2
|
0
|
0
|
0
|
|
A
|
Specification\LeafSpecification::or()
|
0
|
4
|
1
|
1
|
0
|
0
|
0
|
|
A
|
OrSpecification::isSatisfiedBy()
|
5
|
5
|
2
|
2
|
0
|
0
|
0
|
|
A
|
Specification\Candidate::__construct()
|
0
|
4
|
1
|
1
|
0
|
0
|
0
|
|
A
|
GreaterThanSpecification::isGeneralizationOfGreaterThanSpecification()
|
5
|
5
|
2
|
6
|
0
|
0
|
0
|
|
A
|
Specification\NotSpecification::__construct()
|
0
|
4
|
1
|
1
|
0
|
0
|
0
|