choco.cp.solver.constraints.global.automata.fast_regular
Class FastRegular
java.lang.Object
choco.kernel.solver.propagation.Propagator
choco.kernel.solver.constraints.AbstractSConstraint<IntDomainVar>
choco.kernel.solver.constraints.integer.AbstractIntSConstraint
choco.kernel.solver.constraints.integer.AbstractLargeIntSConstraint
choco.cp.solver.constraints.global.automata.fast_regular.FastRegular
- All Implemented Interfaces:
- IExtensionnable, IPretty, SConstraint<IntDomainVar>, IntPropagator, Cloneable, EventListener
public class FastRegular
- extends AbstractLargeIntSConstraint
Created by IntelliJ IDEA.
User: julien
Date: Oct 30, 2009
Time: 3:43:21 PM
Method Summary |
void |
awake()
Propagation:
Propagating the constraint for the very first time until local
consistency is reached. |
void |
awakeOnRem(int i,
int j)
Default propagation on one value removal: propagation on domain revision. |
int |
getFilteredEventMask(int idx)
|
void |
propagate()
Propagation:
Propagating the constraint until local consistency is reached. |
Methods inherited from class choco.kernel.solver.constraints.AbstractSConstraint |
addExtension, addListener, clone, getAbstractSConstraintExtensionNumber, getConstraintIdx, getExtension, getFineDegree, getNbVarNotInst, getNbVars, getVar, getVarQuick, isCompletelyInstantiated, isEntailed, opposite, pretty, setConstraintIndex, setExtension, setVar, toString |
Methods inherited from class choco.kernel.solver.propagation.Propagator |
activate, constAwake, fail, getEvent, getPriority, isActive, setActive, setActiveSilently, setEntailed, setPassive, setPropagationEngine |
FastRegular
public FastRegular(IEnvironment environment,
IntDomainVar[] vars,
IAutomaton auto)
- Construct a new explained regular constraint
- Parameters:
environment
- envvars
- Variables that must form a word accepted by autoauto
- An automaton forming a regular languauge
awakeOnRem
public void awakeOnRem(int i,
int j)
throws ContradictionException
- Description copied from class:
AbstractIntSConstraint
- Default propagation on one value removal: propagation on domain revision.
- Specified by:
awakeOnRem
in interface IntPropagator
- Overrides:
awakeOnRem
in class AbstractIntSConstraint
- Throws:
ContradictionException
propagate
public void propagate()
throws ContradictionException
- Description copied from class:
Propagator
- Propagation:
Propagating the constraint until local consistency is reached.
- Specified by:
propagate
in class Propagator
- Throws:
ContradictionException
- contradiction exception
awake
public void awake()
throws ContradictionException
- Description copied from class:
Propagator
- Propagation:
Propagating the constraint for the very first time until local
consistency is reached.
- Overrides:
awake
in class Propagator
- Throws:
ContradictionException
- contradiction exception
getFilteredEventMask
public int getFilteredEventMask(int idx)
- Overrides:
getFilteredEventMask
in class Propagator
Copyright © 2012. All Rights Reserved.