public class FSM extends Object
Modifier and Type  Field and Description 

Set<FSMState> 
allStates
It specifies all states including the initial one and final ones.

Set<FSMState> 
finalStates
It specifies final states of DFA.

FSMState 
initState
It specifies the intial state of DFA.

Constructor and Description 

FSM()
It creates a Finite State Machine used by Regular constraint constructor.

FSM(FSMState initState,
Set<FSMState> finalStates,
Set<FSMState> allStates)
It creates a Finite State Machine.

Modifier and Type  Method and Description 

FSM 
concatenation(FSM other)
It does concatenation of two FSM.

FSMState 
getState(int id)
It gets state of a given id.

void 
resize()
It resizes the Finite State Machine.

FSM 
star()
It performs star operation on this FSM.

String 
toString() 
MDD 
transformDirectlyIntoMDD(IntVar[] vars)
It generates one by one tuples allowed by a Regular constraint, which are added
to the MDD being built.

MDD 
transformIntoMDD(IntVar[] vars)
It generates one by one tuples allowed by a Regular constraint, which are added
to the MDD being built.

int[][] 
transformIntoTuples(IntVar[] vars)
It creates an array of tuples representing this Regular context.

FSM 
union(FSM other)
It computes a union of two Finite State Machines.

public FSMState initState
public FSM(FSMState initState, Set<FSMState> finalStates, Set<FSMState> allStates)
initState
 it specifies the initial state.allStates
 it specifies all the states.finalStates
 it specifies the final states.public FSM()
public FSM union(FSM other)
other
 the other FSM which is used in the union computation.public FSM concatenation(FSM other)
other
 the FSM with which the concatenation takes place.public FSM star()
public FSMState getState(int id)
id
 the id of the searched state.public void resize()
public int[][] transformIntoTuples(IntVar[] vars)
vars
 variables in which context a list of tuples is created.public MDD transformIntoMDD(IntVar[] vars)
vars
 variables in which context MDD is being created from Regular constraint.public MDD transformDirectlyIntoMDD(IntVar[] vars)
vars
 variables in which context MDD is being created from Regular constraint.Copyright © 2020. All rights reserved.