choco.kernel.model.constraints.automaton
Class LightLayeredDFA
java.lang.Object
choco.kernel.model.constraints.automaton.LightLayeredDFA
public class LightLayeredDFA
- extends Object
Automate
- Version:
- 0.1 Nov 19, 2005.
- Author:
- Cambazard Hadrien, Richaud Guillaume
Constructor Summary |
LightLayeredDFA(LayeredDFA automata)
construct an initial automaton with different domain sizes per layer
The automaton initially accepts all words |
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
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
LightLayeredDFA
public LightLayeredDFA(LayeredDFA automata)
- construct an initial automaton with different domain sizes per layer
The automaton initially accepts all words
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.