net.automatalib.util.graphs.copy.GraphCopy Maven / Gradle / Ivy
Go to download
Show more of this group Show more artifacts with this name
Show all versions of automata-util Show documentation
Show all versions of automata-util Show documentation
This artifact provides various common utility operations for analyzing and manipulating
automata and graphs, such as traversal, minimization and copying.
/* Copyright (C) 2013-2019 TU Dortmund
* This file is part of AutomataLib, http://www.automatalib.net/.
*
* Licensed under the Apache License, Version 2.0 (the "License");
* you may not use this file except in compliance with the License.
* You may obtain a copy of the License at
*
* http://www.apache.org/licenses/LICENSE-2.0
*
* Unless required by applicable law or agreed to in writing, software
* distributed under the License is distributed on an "AS IS" BASIS,
* WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
* See the License for the specific language governing permissions and
* limitations under the License.
*/
package net.automatalib.util.graphs.copy;
import java.util.Collection;
import net.automatalib.commons.util.mappings.Mapping;
import net.automatalib.commons.util.mappings.Mappings;
import net.automatalib.graphs.Graph;
import net.automatalib.graphs.IndefiniteGraph;
import net.automatalib.graphs.MutableGraph;
import net.automatalib.graphs.UniversalGraph;
import net.automatalib.graphs.UniversalIndefiniteGraph;
import net.automatalib.util.traversal.TraversalOrder;
public final class GraphCopy {
private GraphCopy() {
}
public static Mapping copyPlain(UniversalGraph in,
MutableGraph out) {
Mapping npMapping = in::getNodeProperty;
Mapping epMapping = in::getEdgeProperty;
return copyPlain(in, out, npMapping, epMapping);
}
public static Mapping copyPlain(Graph in,
MutableGraph out,
Mapping npMapping,
Mapping epMapping) {
PlainGraphCopy copy = new PlainGraphCopy<>(in, out, npMapping, epMapping);
copy.doCopy();
return copy.getNodeMapping();
}
public static Mapping copyUniversalPlain(UniversalGraph in,
MutableGraph out,
Mapping npConversion,
Mapping epConversion) {
Mapping npMapping = Mappings.compose(in::getNodeProperty, npConversion);
Mapping epMapping = Mappings.compose(in::getEdgeProperty, epConversion);
return copyPlain(in, out, npMapping, epMapping);
}
public static Mapping copyTraversal(UniversalIndefiniteGraph in,
MutableGraph out,
TraversalOrder order,
int limit,
Collection initialNodes) {
Mapping npMapping = in::getNodeProperty;
Mapping epMapping = in::getEdgeProperty;
return copyTraversal(in, out, order, limit, initialNodes, npMapping, epMapping);
}
public static Mapping copyTraversal(IndefiniteGraph in,
MutableGraph out,
TraversalOrder order,
int limit,
Collection initialNodes,
Mapping npMapping,
Mapping epMapping) {
TraversalGraphCopy copy =
new TraversalGraphCopy<>(order, limit, in, initialNodes, out, npMapping, epMapping);
copy.doCopy();
return copy.getNodeMapping();
}
public static Mapping copyUniversalTraversal(UniversalIndefiniteGraph in,
MutableGraph out,
TraversalOrder order,
int limit,
Collection initialNodes,
Mapping npConversion,
Mapping epConversion) {
Mapping npMapping = Mappings.compose(in::getNodeProperty, npConversion);
Mapping epMapping = Mappings.compose(in::getEdgeProperty, epConversion);
return copyTraversal(in, out, order, limit, initialNodes, npMapping, epMapping);
}
}