org.chocosolver.solver.constraints.nary.automata.FA

Interface IAutomaton

All Superinterfaces:

Cloneable

All Known Subinterfaces:

ICostAutomaton

All Known Implementing Classes:

CostAutomaton, FiniteAutomaton

public interface IAutomaton
extends Cloneable

Created by IntelliJ IDEA. User: julien Date: Nov 19, 2010 Time: 2:06:37 PM

Nested Class Summary

Nested Classes

Modifier and Type	Interface and Description
static class	IAutomaton.NonDeterministicOperationException
static class	IAutomaton.StateNotInAutomatonException
static class	IAutomaton.Triple

Method Summary

Methods

Modifier and Type	Method and Description
IAutomaton	clone()
int	delta(int k, int j)
void	delta(int k, int j, gnu.trove.set.hash.TIntHashSet nexts)
int	getInitialState()
int	getNbStates()
boolean	isFinal(int k)
boolean	run(int[] str)

Method Detail

clone

IAutomaton clone()
                 throws CloneNotSupportedException

Throws:

CloneNotSupportedException

getInitialState

int getInitialState()

delta

int delta(int k,
        int j)
          throws IAutomaton.NonDeterministicOperationException

Throws:

IAutomaton.NonDeterministicOperationException

delta

void delta(int k,
         int j,
         gnu.trove.set.hash.TIntHashSet nexts)

isFinal

boolean isFinal(int k)

getNbStates

int getNbStates()

run

boolean run(int[] str)