| equals(Object) |  | 0% | | 0% | 3 | 3 | 1 | 1 | 1 | 1 |
| hashCode() | | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
| unify(IContext, ILiteral, long, IExpression, boolean) |  | 90% | | 75% | 1 | 3 | 1 | 11 | 0 | 1 |
| unify(ILiteral, ILiteral) | | 95% | | 66% | 2 | 4 | 1 | 11 | 0 | 1 |
| lambda$variables$3(long, Set) | | 90% | | 50% | 1 | 2 | 0 | 1 | 0 | 1 |
| lambda$variables$1(ILiteral, ILiteral) | | 88% | | 50% | 1 | 2 | 0 | 1 | 0 | 1 |
| evaluateexpression(IContext, IExpression, Set) | | 100% | | 100% | 0 | 3 | 0 | 5 | 0 | 1 |
| variables(IAgent, ILiteral, long) | | 100% | | n/a | 0 | 1 | 0 | 6 | 0 | 1 |
| toString() | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| lambda$variables$2(ILiteral, ILiteral) | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| CUnifier() | | 100% | | n/a | 0 | 1 | 0 | 2 | 0 | 1 |
| CUnifier(IUnifier.IAlgorithm, IUnifier.IAlgorithm) | | 100% | | n/a | 0 | 1 | 0 | 4 | 0 | 1 |
| parallelstream(Stream, boolean) | | 100% | | 100% | 0 | 2 | 0 | 1 | 0 | 1 |
| lambda$unify$0(IContext, IExpression, Set) | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |