Package choco.kernel.model.constraints.automaton

Class Summary
DFA Created by IntelliJ IDEA.
LayeredDFA A layered automaton that offers the possibility to dynamically add or remove tuples incrementally.
LightLayeredDFA Automate
LightState Minimal data structure permitting to store a node and to enumerate his successors and predecessors.
State State
Transition A Transition is defined by its origine, destination and the symbol used to get from origin to destination
 



Copyright © 2012. All Rights Reserved.