Package | Description |
---|---|
JaCoP.constraints.regular | |
JaCoP.util.fsm |
Modifier and Type | Field and Description |
---|---|
FSM |
Regular.fsm
It specifies finite state machine used by this regular.
|
Constructor and Description |
---|
Regular(FSM fsm,
IntVar[] list)
Constructor need Store to initialize the time-stamps
|
Modifier and Type | Method and Description |
---|---|
FSM |
FSM.concatenation(FSM other)
It does concatenation of two FSM.
|
abstract FSM |
RegularExpressionParser.Expression.parseToFSM()
It creates Finite State Machine from the expression.
|
FSM |
RegularExpressionParser.Literal.parseToFSM() |
FSM |
FSM.star()
It performs star operation on this FSM.
|
FSM |
FSM.union(FSM other)
It computes a union of two Finite State Machines.
|
Modifier and Type | Method and Description |
---|---|
FSM |
FSM.concatenation(FSM other)
It does concatenation of two FSM.
|
FSM |
FSM.union(FSM other)
It computes a union of two Finite State Machines.
|