net.automatalib.util.automata.vpda

Class OneSEVPAs

java.lang.Object

net.automatalib.util.automata.vpda.OneSEVPAs

public final class OneSEVPAs
extends Object

Operations on OneSEVPAs.

Author:

frohme

Method Summary

Modifier and Type	Method and Description
static <L1,L2,I> OneSEVPA<Pair<L1,L2>,I>	and(OneSEVPA<L1,I> sevpa1, OneSEVPA<L2,I> sevpa2, VPDAlphabet<I> alphabet) Calculates the conjunction ("and") of two SEVPA, and returns the result as a new SEVPA.
static <L1,L2,I> OneSEVPA<Pair<L1,L2>,I>	combine(OneSEVPA<L1,I> sevpa1, OneSEVPA<L2,I> sevpa2, VPDAlphabet<I> alphabet, AcceptanceCombiner combiner) Most general way of combining two SEVPAs.
static <L1,L2,I> OneSEVPA<Pair<L1,L2>,I>	equiv(OneSEVPA<L1,I> sevpa1, OneSEVPA<L2,I> sevpa2, VPDAlphabet<I> alphabet) Calculates the equivalence ("<=>") of two SEVPA, and stores the result in a given mutable SEVPA.
static <L1,L2,I> OneSEVPA<Pair<L1,L2>,I>	impl(OneSEVPA<L1,I> sevpa1, OneSEVPA<L2,I> sevpa2, VPDAlphabet<I> alphabet) Calculates the implication ("=>") of two SEVPA, and stores the result in a given mutable SEVPA.
static <I> DefaultOneSEVPA<I>	minimize(OneSEVPA<?,I> sevpa, VPDAlphabet<I> alphabet) Minimizes the given SEVPA over the given alphabet.
static <L1,L2,I> OneSEVPA<Pair<L1,L2>,I>	or(OneSEVPA<L1,I> sevpa1, OneSEVPA<L2,I> sevpa2, VPDAlphabet<I> alphabet) Calculates the disjunction ("or") of two SEVPA, and returns the result as a new SEVPA.
static <L1,L2,I> OneSEVPA<Pair<L1,L2>,I>	xor(OneSEVPA<L1,I> sevpa1, OneSEVPA<L2,I> sevpa2, VPDAlphabet<I> alphabet) Calculates the exclusive-or ("xor") of two SEVPA, and stores the result in a given mutable SEVPA.

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Method Detail

and

public static <L1,L2,I> OneSEVPA<Pair<L1,L2>,I> and(OneSEVPA<L1,I> sevpa1,
                                                    OneSEVPA<L2,I> sevpa2,
                                                    VPDAlphabet<I> alphabet)

Calculates the conjunction ("and") of two SEVPA, and returns the result as a new SEVPA.

Parameters:

sevpa1 - the first SEVPA

sevpa2 - the second SEVPA

alphabet - the input alphabet

Returns:

a new SEVPA representing the conjunction of the specified SEVPA

combine

public static <L1,L2,I> OneSEVPA<Pair<L1,L2>,I> combine(OneSEVPA<L1,I> sevpa1,
                                                        OneSEVPA<L2,I> sevpa2,
                                                        VPDAlphabet<I> alphabet,
                                                        AcceptanceCombiner combiner)

Most general way of combining two SEVPAs. The AcceptanceCombiner specified via the combiner parameter specifies how acceptance values of the SEVPAs will be combined to an acceptance value in the result SEVPAs.

Parameters:

sevpa1 - the first SEVPA

sevpa2 - the second SEVPA

alphabet - the input alphabet

combiner - combination method for acceptance values

Returns:

a new SEVPA representing the conjunction of the specified SEVPA

or

public static <L1,L2,I> OneSEVPA<Pair<L1,L2>,I> or(OneSEVPA<L1,I> sevpa1,
                                                   OneSEVPA<L2,I> sevpa2,
                                                   VPDAlphabet<I> alphabet)

Calculates the disjunction ("or") of two SEVPA, and returns the result as a new SEVPA.

Parameters:

sevpa1 - the first SEVPA

sevpa2 - the second SEVPA

alphabet - the input alphabet

Returns:

a new SEVPA representing the conjunction of the specified SEVPA

xor

public static <L1,L2,I> OneSEVPA<Pair<L1,L2>,I> xor(OneSEVPA<L1,I> sevpa1,
                                                    OneSEVPA<L2,I> sevpa2,
                                                    VPDAlphabet<I> alphabet)

Calculates the exclusive-or ("xor") of two SEVPA, and stores the result in a given mutable SEVPA.

Parameters:

sevpa1 - the first SEVPA

sevpa2 - the second SEVPA

alphabet - the input alphabet

Returns:

a new SEVPA representing the conjunction of the specified SEVPA

equiv

public static <L1,L2,I> OneSEVPA<Pair<L1,L2>,I> equiv(OneSEVPA<L1,I> sevpa1,
                                                      OneSEVPA<L2,I> sevpa2,
                                                      VPDAlphabet<I> alphabet)

Calculates the equivalence ("<=>") of two SEVPA, and stores the result in a given mutable SEVPA.

Parameters:

sevpa1 - the first SEVPA

sevpa2 - the second SEVPA

alphabet - the input alphabet

Returns:

a new SEVPA representing the conjunction of the specified SEVPA

impl

public static <L1,L2,I> OneSEVPA<Pair<L1,L2>,I> impl(OneSEVPA<L1,I> sevpa1,
                                                     OneSEVPA<L2,I> sevpa2,
                                                     VPDAlphabet<I> alphabet)

Calculates the implication ("=>") of two SEVPA, and stores the result in a given mutable SEVPA.

Parameters:

sevpa1 - the first SEVPA

sevpa2 - the second SEVPA

alphabet - the input alphabet

Returns:

a new SEVPA representing the conjunction of the specified SEVPA

minimize

public static <I> DefaultOneSEVPA<I> minimize(OneSEVPA<?,I> sevpa,
                                              VPDAlphabet<I> alphabet)

Minimizes the given SEVPA over the given alphabet. This method does not modify the given SEVPA, but returns the minimized version as a new instance. Note: the SEVPA must be completely specified.

Parameters:

sevpa - the SEVPA to be minimized

alphabet - the input alphabet to consider for minimization (this will also be the input alphabet of the resulting automaton)

Returns:

a minimized version of the specified SEVPA