net.automatalib.util.ts.acceptors.Acceptors 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 TU Dortmund
* This file is part of AutomataLib, http://www.automatalib.net/.
*
* AutomataLib is free software; you can redistribute it and/or
* modify it under the terms of the GNU Lesser General Public
* License version 3.0 as published by the Free Software Foundation.
*
* AutomataLib is distributed in the hope that it will be useful,
* but WITHOUT ANY WARRANTY; without even the implied warranty of
* MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU
* Lesser General Public License for more details.
*
* You should have received a copy of the GNU Lesser General Public
* License along with AutomataLib; if not, see
* http://www.gnu.de/documents/lgpl.en.html.
*/
package net.automatalib.util.ts.acceptors;
import net.automatalib.commons.util.mappings.Mapping;
import net.automatalib.ts.acceptors.AcceptorTS;
import net.automatalib.ts.acceptors.DeterministicAcceptorTS;
public abstract class Acceptors {
private Acceptors() {}
public static ,
TS2 extends DeterministicAcceptorTS>
DetAcceptorComposition
combine(TS1 ts1, TS2 ts2, AcceptanceCombiner combiner) {
return new DetAcceptorComposition(ts1, ts2, combiner);
}
public static , TS2 extends DeterministicAcceptorTS>
DetAcceptorComposition and(
TS1 ts1, TS2 ts2) {
return combine(ts1, ts2, AcceptanceCombiner.AND);
}
public static , TS2 extends DeterministicAcceptorTS>
DetAcceptorComposition or(
TS1 ts1, TS2 ts2) {
return combine(ts1, ts2, AcceptanceCombiner.OR);
}
public static , TS2 extends DeterministicAcceptorTS>
DetAcceptorComposition xor(
TS1 ts1, TS2 ts2) {
return combine(ts1, ts2, AcceptanceCombiner.XOR);
}
public static , TS2 extends DeterministicAcceptorTS>
DetAcceptorComposition equiv(
TS1 ts1, TS2 ts2) {
return combine(ts1, ts2, AcceptanceCombiner.EQUIV);
}
public static , TS2 extends DeterministicAcceptorTS>
DetAcceptorComposition impl(
TS1 ts1, TS2 ts2) {
return combine(ts1, ts2, AcceptanceCombiner.IMPL);
}
public static Mapping acceptance(final AcceptorTS acceptor) {
return new Mapping() {
@Override
public Boolean get(S elem) {
return acceptor.isAccepting(elem);
}
};
}
}