Package | Description |
---|---|
org.jacop.constraints.regular | |
org.jacop.examples.fd.carsequencing | |
org.jacop.examples.fd.nonogram | |
org.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 |
---|---|
static FSM |
CarSequencing.createFSM(int count,
IntervalDomain yes,
IntervalDomain no) |
Modifier and Type | Method and Description |
---|---|
FSM |
Nonogram.createAutomaton(int[] sequence)
It produces and FSM given a sequence representing a rule.
|
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.
|
Copyright © 2022. All rights reserved.