choco.kernel.model.constraints.automaton
Class LightLayeredDFA

java.lang.Object
  extended by choco.kernel.model.constraints.automaton.LightLayeredDFA

public class LightLayeredDFA
extends Object

Automate

Version:
0.1 Nov 19, 2005.
Author:
Cambazard Hadrien, Richaud Guillaume

Field Summary
protected  int[] domSizes
           
protected  ArrayList[] etatsDeLaCouche
           
protected  LightState initState
           
protected  LightState lastState
           
protected  int nbLevel
           
protected  int nbState
           
protected  int[] offsets
           
 
Constructor Summary
LightLayeredDFA(LayeredDFA automata)
          construct an initial automaton with different domain sizes per layer The automaton initially accepts all words
 
Method Summary
 int getAutomateSize()
           
 LightState getInitState()
           
 LightState getLastState()
           
 int getOffset(int i)
           
 boolean isEmpty()
           
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Field Detail

domSizes

protected int[] domSizes

offsets

protected int[] offsets

initState

protected LightState initState

lastState

protected LightState lastState

nbState

protected int nbState

etatsDeLaCouche

protected ArrayList[] etatsDeLaCouche

nbLevel

protected int nbLevel
Constructor Detail

LightLayeredDFA

public LightLayeredDFA(LayeredDFA automata)
construct an initial automaton with different domain sizes per layer The automaton initially accepts all words

Method Detail

getOffset

public int getOffset(int i)

getInitState

public LightState getInitState()

getLastState

public LightState getLastState()

getAutomateSize

public int getAutomateSize()

isEmpty

public boolean isEmpty()


Copyright © 2012. All Rights Reserved.