com.raffaeleconforti.automaton

Class Automaton

java.lang.Object

com.raffaeleconforti.automaton.Automaton

public class Automaton
extends java.lang.Object

Field Summary

Fields

Modifier and Type	Field and Description
java.util.Map<java.util.ArrayList<java.lang.Integer>,java.util.ArrayList<java.lang.Integer>>	caseTracesMapping

Constructor Summary

Constructors

Constructor and Description
Automaton(java.util.Map<java.lang.Integer,State> states, java.util.Map<java.lang.Integer,java.lang.String> eventLabels, java.util.Map<java.lang.String,java.lang.Integer> inverseEventLabels, java.util.Map<java.lang.Integer,Transition> transitions, int initialState, java.util.HashSet<java.lang.Integer> FinalStates, int skipEvent)
Automaton(java.util.Map<java.lang.Integer,State> states, java.util.Map<java.lang.Integer,java.lang.String> eventLabels, java.util.Map<java.lang.String,java.lang.Integer> inverseEventLabels, java.util.Map<java.lang.Integer,Transition> transitions, int initialState, java.util.HashSet<java.lang.Integer> FinalStates, java.util.Map<java.util.ArrayList<java.lang.Integer>,java.util.ArrayList<java.lang.Integer>> caseTracesMapping)

Method Summary

Modifier and Type	Method and Description
java.util.Map<java.lang.Integer,java.lang.String>	eventLabels()
java.util.Map<java.lang.Integer,java.util.Set<com.google.common.collect.Multiset<java.lang.Integer>>>	finalConfigurations()
java.util.HashSet<java.lang.Integer>	finalStates()
java.util.Map<java.lang.String,java.lang.Integer>	inverseEventLabels()
static boolean	isMultisetSubset(com.google.common.collect.Multiset<java.lang.Integer> testSubset, com.google.common.collect.Multiset<java.lang.Integer> testSuperset)
State	source()
int	sourceID()
java.util.Map<java.lang.Integer,State>	states()
void	toDot(java.io.PrintWriter pw)
void	toDot(java.lang.String fileName)
java.util.Map<java.lang.Integer,Transition>	transitions()

Methods inherited from class java.lang.Object

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

Field Detail

caseTracesMapping

public java.util.Map<java.util.ArrayList<java.lang.Integer>,java.util.ArrayList<java.lang.Integer>> caseTracesMapping

Constructor Detail

Automaton

public Automaton(java.util.Map<java.lang.Integer,State> states,
                 java.util.Map<java.lang.Integer,java.lang.String> eventLabels,
                 java.util.Map<java.lang.String,java.lang.Integer> inverseEventLabels,
                 java.util.Map<java.lang.Integer,Transition> transitions,
                 int initialState,
                 java.util.HashSet<java.lang.Integer> FinalStates,
                 java.util.Map<java.util.ArrayList<java.lang.Integer>,java.util.ArrayList<java.lang.Integer>> caseTracesMapping)
          throws java.io.IOException

Throws:

java.io.IOException

Automaton

public Automaton(java.util.Map<java.lang.Integer,State> states,
                 java.util.Map<java.lang.Integer,java.lang.String> eventLabels,
                 java.util.Map<java.lang.String,java.lang.Integer> inverseEventLabels,
                 java.util.Map<java.lang.Integer,Transition> transitions,
                 int initialState,
                 java.util.HashSet<java.lang.Integer> FinalStates,
                 int skipEvent)
          throws java.io.IOException

Throws:

java.io.IOException

Method Detail

states

public java.util.Map<java.lang.Integer,State> states()

eventLabels

public java.util.Map<java.lang.Integer,java.lang.String> eventLabels()

inverseEventLabels

public java.util.Map<java.lang.String,java.lang.Integer> inverseEventLabels()

transitions

public java.util.Map<java.lang.Integer,Transition> transitions()

source

public State source()

sourceID

public int sourceID()

finalStates

public java.util.HashSet<java.lang.Integer> finalStates()

finalConfigurations

public java.util.Map<java.lang.Integer,java.util.Set<com.google.common.collect.Multiset<java.lang.Integer>>> finalConfigurations()

isMultisetSubset

public static boolean isMultisetSubset(com.google.common.collect.Multiset<java.lang.Integer> testSubset,
                                       com.google.common.collect.Multiset<java.lang.Integer> testSuperset)

toDot

public void toDot(java.io.PrintWriter pw)
           throws java.io.IOException

Throws:

java.io.IOException

toDot

public void toDot(java.lang.String fileName)
           throws java.io.IOException

Throws:

java.io.IOException