net.automatalib.util.automata.copy.AutomatonLowLevelCopy 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.automata.copy;
import java.util.Collection;
import java.util.function.Function;
import java.util.function.Predicate;
import net.automatalib.automata.Automaton;
import net.automatalib.automata.MutableAutomaton;
import net.automatalib.automata.UniversalAutomaton;
import net.automatalib.commons.util.functions.FunctionsUtil;
import net.automatalib.commons.util.mappings.Mapping;
import net.automatalib.ts.TransitionPredicate;
import net.automatalib.util.automata.predicates.TransitionPredicates;
public final class AutomatonLowLevelCopy {
private AutomatonLowLevelCopy() {
throw new IllegalStateException("Constructor should never be invoked");
}
/**
* Copies an {@link Automaton} to a {@link MutableAutomaton} with possibly heterogeneous input alphabets and state
* and transition properties. State and transitions will not be filtered.
*
* @param
* input automaton state type
* @param
* input automaton input symbol type
* @param
* input automaton transition type
* @param
* output automaton state type
* @param
* output automaton input symbol type
* @param
* output automaton transition type
* @param
* output automaton state property type
* @param
* output automaton transition property type
* @param method
* the copy method to use
* @param in
* the input automaton
* @param inputs
* the inputs to consider
* @param out
* the output automaton
* @param inputsMapping
* the transformation for input symbols
* @param spMapping
* the function for obtaining state properties
* @param tpMapping
* the function for obtaining transition properties
*
* @return a mapping from old to new states
*/
public static Mapping rawCopy(AutomatonCopyMethod method,
Automaton in,
Collection inputs,
MutableAutomaton out,
Function inputsMapping,
Function spMapping,
Function tpMapping) {
return rawCopy(method, in, inputs, out, inputsMapping, spMapping, tpMapping, s -> true, (s, i, t) -> true);
}
/**
* Copies an {@link Automaton} to a {@link MutableAutomaton} with possibly heterogeneous input alphabets and state
* and transition properties.
*
* @param
* input automaton state type
* @param
* input automaton input symbol type
* @param
* input automaton transition type
* @param
* output automaton state type
* @param
* output automaton input symbol type
* @param
* output automaton transition type
* @param
* output automaton state property type
* @param
* output automaton transition property type
* @param method
* the copy method to use
* @param in
* the input automaton
* @param inputs
* the inputs to consider
* @param out
* the output automaton
* @param inputsMapping
* the transformation for input symbols
* @param spMapping
* the function for obtaining state properties
* @param tpMapping
* the function for obtaining transition properties
* @param stateFilter
* the filter predicate for states
* @param transFilter
* the filter predicate for transitions
*
* @return a mapping from old to new states
*/
public static Mapping rawCopy(AutomatonCopyMethod method,
Automaton in,
Collection inputs,
MutableAutomaton out,
Function inputsMapping,
Function spMapping,
Function tpMapping,
Predicate stateFilter,
TransitionPredicate transFilter) {
final Function safeSpMapping = FunctionsUtil.safeDefault(spMapping);
final Function safeTpMapping = FunctionsUtil.safeDefault(tpMapping);
final Predicate safeStateFilter = FunctionsUtil.safeToTrue(stateFilter);
final TransitionPredicate safeTransFilter =
TransitionPredicates.safePred(transFilter, true);
LowLevelAutomatonCopier copier = method.createLowLevelCopier(in,
inputs,
out,
inputsMapping,
safeSpMapping,
safeTpMapping,
safeStateFilter,
safeTransFilter);
copier.doCopy();
return copier.getStateMapping();
}
/**
* Copies an {@link Automaton} to a {@link MutableAutomaton} with a compatible input alphabet, but possibly
* heterogeneous state and transition properties. States and transitions will not be filtered.
*
* @param
* input automaton state type
* @param
* input symbol type
* @param
* input automaton transition type
* @param
* output automaton state type
* @param
* output automaton transition type
* @param
* output automaton state property type
* @param
* output automaton transition property type
* @param method
* the copy method to use
* @param in
* the input automaton
* @param inputs
* the inputs to consider
* @param out
* the output automaton
* @param spMapping
* the function for obtaining state properties
* @param tpMapping
* the function for obtaining transition properties
*
* @return a mapping from old to new states
*/
public static Mapping rawCopy(AutomatonCopyMethod method,
Automaton in,
Collection inputs,
MutableAutomaton out,
Function spMapping,
Function tpMapping) {
return rawCopy(method, in, inputs, out, spMapping, tpMapping, s -> true, (s, i, t) -> true);
}
/**
* Copies an {@link Automaton} to a {@link MutableAutomaton} with a compatible input alphabet, but possibly
* heterogeneous state and transition properties.
*
* @param
* input automaton state type
* @param
* input symbol type
* @param
* input automaton transition type
* @param
* output automaton state type
* @param
* output automaton transition type
* @param
* output automaton state property type
* @param
* output automaton transition property type
* @param method
* the copy method to use
* @param in
* the input automaton
* @param inputs
* the inputs to consider
* @param out
* the output automaton
* @param spMapping
* the function for obtaining state properties
* @param tpMapping
* the function for obtaining transition properties
* @param stateFilter
* the filter predicate for states
* @param transFilter
* the filter predicate for transitions
*
* @return a mapping from old to new states
*/
public static Mapping rawCopy(AutomatonCopyMethod method,
Automaton in,
Collection inputs,
MutableAutomaton out,
Function spMapping,
Function tpMapping,
Predicate stateFilter,
TransitionPredicate transFilter) {
return rawCopy(method, in, inputs, out, i -> i, spMapping, tpMapping, stateFilter, transFilter);
}
/**
* Copies a {@link UniversalAutomaton} to a {@link MutableAutomaton} with possibly heterogeneous input alphabets and
* state and transition properties. States and transitions will not be filtered
*
* @param
* input automaton state type
* @param
* input automaton input symbol type
* @param
* input automaton transition type
* @param
* input automaton state property type
* @param
* input automaton transition property type
* @param
* output automaton state type
* @param
* output automaton input symbol type
* @param
* output automaton transition type
* @param
* output automaton state property type
* @param
* output automaton transition property type
* @param method
* the copy method to use
* @param in
* the input automaton
* @param inputs
* the inputs to consider
* @param out
* the output automaton
* @param inputsMapping
* the transformation for input symbols
* @param spTransform
* the transformation for state properties
* @param tpTransform
* the transformation for transition properties
*
* @return a mapping from old to new states
*/
public static Mapping copy(AutomatonCopyMethod method,
UniversalAutomaton in,
Collection inputs,
MutableAutomaton out,
Function inputsMapping,
Function spTransform,
Function tpTransform) {
return copy(method, in, inputs, out, inputsMapping, spTransform, tpTransform, s -> true, (s, i, t) -> true);
}
/**
* Copies a {@link UniversalAutomaton} to a {@link MutableAutomaton} with possibly heterogeneous input alphabets and
* state and transition properties.
*
* @param
* input automaton state type
* @param
* input automaton input symbol type
* @param
* input automaton transition type
* @param
* input automaton state property type
* @param
* input automaton transition property type
* @param
* output automaton state type
* @param
* output automaton input symbol type
* @param
* output automaton transition type
* @param
* output automaton state property type
* @param
* output automaton transition property type
* @param method
* the copy method to use
* @param in
* the input automaton
* @param inputs
* the inputs to consider
* @param out
* the output automaton
* @param inputsMapping
* the transformation for input symbols
* @param spTransform
* the transformation for state properties
* @param tpTransform
* the transformation for transition properties
* @param stateFilter
* the filter predicate for states
* @param transFilter
* the filter predicate for transitions
*
* @return a mapping from old to new states
*/
public static Mapping copy(AutomatonCopyMethod method,
UniversalAutomaton in,
Collection inputs,
MutableAutomaton out,
Function inputsMapping,
Function spTransform,
Function tpTransform,
Predicate stateFilter,
TransitionPredicate transFilter) {
Function spMapping =
(spTransform == null) ? null : s -> spTransform.apply(in.getStateProperty(s));
Function tpMapping =
(tpTransform == null) ? null : t -> tpTransform.apply(in.getTransitionProperty(t));
return rawCopy(method, in, inputs, out, inputsMapping, spMapping, tpMapping, stateFilter, transFilter);
}
/**
* Copies a {@link UniversalAutomaton} to a {@link MutableAutomaton} with compatible input alphabets, but possibly
* heterogeneous properties. States and transitions will not be filtered.
*
* @param
* input automaton state type
* @param
* input symbol type
* @param
* input automaton transition type
* @param
* input automaton state property type
* @param
* input automaton transition property type
* @param
* output automaton state type
* @param
* output automaton transition type
* @param
* output automaton state property type
* @param
* output automaton transition property type
* @param method
* the copy method to use
* @param in
* the input automaton
* @param inputs
* the inputs to consider
* @param out
* the output automaton
* @param spTransform
* the transformation for state properties
* @param tpTransform
* the transformation for transition properties
*
* @return a mapping from old to new states
*/
public static Mapping copy(AutomatonCopyMethod method,
UniversalAutomaton in,
Collection inputs,
MutableAutomaton out,
Function spTransform,
Function tpTransform) {
return copy(method, in, inputs, out, spTransform, tpTransform, s -> true, (s, i, t) -> true);
}
/**
* Copies a {@link UniversalAutomaton} to a {@link MutableAutomaton} with compatible input alphabets, but possibly
* heterogeneous properties.
*
* @param
* input automaton state type
* @param
* input symbol type
* @param
* input automaton transition type
* @param
* input automaton state property type
* @param
* input automaton transition property type
* @param
* output automaton state type
* @param
* output automaton transition type
* @param
* output automaton state property type
* @param
* output automaton transition property type
* @param method
* the copy method to use
* @param in
* the input automaton
* @param inputs
* the inputs to consider
* @param out
* the output automaton
* @param spTransform
* the transformation for state properties
* @param tpTransform
* the transformation for transition properties
* @param stateFilter
* the filter predicate for states
* @param transFilter
* the filter predicate for transitions
*
* @return a mapping from old to new states
*/
public static Mapping copy(AutomatonCopyMethod method,
UniversalAutomaton in,
Collection inputs,
MutableAutomaton out,
Function spTransform,
Function tpTransform,
Predicate stateFilter,
TransitionPredicate transFilter) {
return copy(method, in, inputs, out, i -> i, spTransform, tpTransform, stateFilter, transFilter);
}
/**
* Copies a {@link UniversalAutomaton} with possibly heterogeneous input alphabets, but compatible properties.
* States and transitions will not be filtered
*
* @param
* input automaton state type
* @param
* input automaton input symbol type
* @param
* input automaton transition type
* @param
* state property type
* @param
* transition property type
* @param
* output automaton state type
* @param
* output automaton input symbol type
* @param
* output automaton transition type
* @param method
* the copy method to use
* @param in
* the input automaton
* @param inputs
* the inputs to consider
* @param out
* the output automaton
* @param inputsMapping
* a mapping from inputs in the input automaton to inputs in the output automaton
*
* @return a mapping from old to new states
*/
public static Mapping copy(AutomatonCopyMethod method,
UniversalAutomaton in,
Collection inputs,
MutableAutomaton out,
Function inputsMapping) {
return copy(method, in, inputs, out, inputsMapping, s -> true, (s, i, t) -> true);
}
/**
* Copies a {@link UniversalAutomaton} with possibly heterogeneous input alphabets, but compatible properties.
*
* @param
* input automaton state type
* @param
* input automaton input symbol type
* @param
* input automaton transition type
* @param
* state property type
* @param
* transition property type
* @param
* output automaton state type
* @param
* output automaton input symbol type
* @param
* output automaton transition type
* @param method
* the copy method to use
* @param in
* the input automaton
* @param inputs
* the inputs to consider
* @param out
* the output automaton
* @param inputsMapping
* the transformation for input symbols
* @param stateFilter
* the filter predicate for states
* @param transFilter
* the filter predicate for transitions
*
* @return a mapping from old to new states
*/
public static Mapping copy(AutomatonCopyMethod method,
UniversalAutomaton in,
Collection inputs,
MutableAutomaton out,
Function inputsMapping,
Predicate stateFilter,
TransitionPredicate transFilter) {
return copy(method, in, inputs, out, inputsMapping, sp -> sp, tp -> tp, stateFilter, transFilter);
}
/**
* Copies a {@link UniversalAutomaton} with compatible input alphabets and properties. States and transitions will
* not be filtered.
*
* @param
* input automaton state type
* @param
* input symbol type
* @param
* input automaton transition type
* @param
* state property type
* @param
* transition property type
* @param
* output automaton state type
* @param
* output automaton transition type
* @param method
* the copy method to use
* @param in
* the input automaton
* @param inputs
* the inputs to consider
* @param out
* the output automaton
*
* @return a mapping from old to new states.
*/
public static Mapping copy(AutomatonCopyMethod method,
UniversalAutomaton in,
Collection inputs,
MutableAutomaton out) {
return copy(method, in, inputs, out, s -> true, (s, i, t) -> true);
}
/**
* Copies a {@link UniversalAutomaton} with compatible input alphabets and properties.
*
* @param
* input automaton state type
* @param
* input symbol type
* @param
* input automaton transition type
* @param
* state property type
* @param
* transition property type
* @param
* output automaton state type
* @param
* output automaton transition type
* @param method
* the copy method to use
* @param in
* the input automaton
* @param inputs
* the inputs to consider
* @param out
* the output automaton
* @param stateFilter
* the filter predicate for states
* @param transFilter
* the filter predicate for transitions
*
* @return a mapping from old to new states
*/
public static Mapping copy(AutomatonCopyMethod method,
UniversalAutomaton in,
Collection inputs,
MutableAutomaton out,
Predicate stateFilter,
TransitionPredicate transFilter) {
return copy(method, in, inputs, out, i -> i, stateFilter, transFilter);
}
}