|
|
|
@ -532,11 +532,11 @@ function has_definite_elements(result: Map<Element, NodeExist>): boolean {
|
|
|
|
|
|
|
|
|
|
|
|
function add_to_map(from: Map<Element, NodeExist>, to: Map<Element, NodeExist>) {
|
|
|
|
function add_to_map(from: Map<Element, NodeExist>, to: Map<Element, NodeExist>) {
|
|
|
|
from.forEach((exist, element) => {
|
|
|
|
from.forEach((exist, element) => {
|
|
|
|
to.set(element, higher_existance(exist, to.get(element)));
|
|
|
|
to.set(element, higher_existence(exist, to.get(element)));
|
|
|
|
});
|
|
|
|
});
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
|
|
function higher_existance(exist1: NodeExist | null, exist2: NodeExist | null): NodeExist {
|
|
|
|
function higher_existence(exist1: NodeExist | null, exist2: NodeExist | null): NodeExist {
|
|
|
|
if (exist1 === undefined || exist2 === undefined) return exist1 || exist2;
|
|
|
|
if (exist1 === undefined || exist2 === undefined) return exist1 || exist2;
|
|
|
|
return exist1 > exist2 ? exist1 : exist2;
|
|
|
|
return exist1 > exist2 ? exist1 : exist2;
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|