Package owl.automaton.algorithm.simulations

Class SimulationUtil

java.lang.Object

owl.automaton.algorithm.simulations.SimulationUtil

public final class SimulationUtil
extends Object

Method Summary

Modifier and Type	Method	Description
static <S,A extends BuchiAcceptance> Set<S>	allSuccessors(Automaton<S,A> aut, Set<S> states, BitSet valuation)	Computes all successor states in an automaton for a given valuation.
static <S> Set<Set<S>>	possibleKSets(Set<S> candidates, int k)	Computes all possible sets with k elements drawn from a given input set.

Methods inherited from class java.lang.Object

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

Method Detail

possibleKSets

public static <S> Set<Set<S>> possibleKSets(Set<S> candidates,
                                            int k)

Computes all possible sets with k elements drawn from a given input set.

Type Parameters:

S - The type of element in each output set.

Parameters:

candidates - The set of possible elements in each resulting set.

k - The maximum cardinality of the output sets.

Returns:

The set of possible k-sets.

allSuccessors

public static <S,A extends BuchiAcceptance> Set<S> allSuccessors(Automaton<S,A> aut,
                                                                       Set<S> states,
                                                                       BitSet valuation)

Computes all successor states in an automaton for a given valuation.

Type Parameters:

S - The type for the automaton states

A - The type of acceptance condition of the automaton

Parameters:

aut - The automaton from which the states come

states - The origin states from which we want to obtain the successors

valuation - The valuation for the transition

Returns:

A set containing all automaton successors reachable with a labelled transition from a state in the given set