org.evomaster.client.java.instrumentation.coverage.methodreplacement.regex

Class GraphTransition

java.lang.Object

org.evomaster.client.java.instrumentation.coverage.methodreplacement.regex.GraphTransition

public class GraphTransition
extends Object

Nested Class Summary

Nested Classes

Modifier and Type	Class and Description
static class	GraphTransition.TransitionType

Field Summary

Fields

Modifier and Type	Field and Description
double	cost
int	fromRow
dk.brics.automaton.State	fromState
GraphTransition.TransitionType	type

Constructor Summary

Constructors

Constructor and Description
GraphTransition(double cost, int fromRow, dk.brics.automaton.State fromState, GraphTransition.TransitionType type)

Method Summary

Methods inherited from class java.lang.Object

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

Field Detail

cost

public final double cost

fromRow

public final int fromRow

fromState

public final dk.brics.automaton.State fromState

type

public final GraphTransition.TransitionType type

Constructor Detail

GraphTransition

public GraphTransition(double cost,
                       int fromRow,
                       dk.brics.automaton.State fromState,
                       GraphTransition.TransitionType type)