choco.kernel.model.constraints.automaton.FA
Interface IAutomaton

All Known Subinterfaces:
ICostAutomaton
All Known Implementing Classes:
CostAutomaton, FiniteAutomaton

public interface IAutomaton

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


Nested Class Summary
static class IAutomaton.NonDeterministicOperationException
           
static class IAutomaton.StateNotInAutomatonException
           
static class IAutomaton.Triple
           
 
Method Summary
 IAutomaton clone()
           
 int delta(int k, int j)
           
 void delta(int k, int j, gnu.trove.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.TIntHashSet nexts)

isFinal

boolean isFinal(int k)

getNbStates

int getNbStates()

run

boolean run(int[] str)


Copyright © 2012. All Rights Reserved.