public class PropFilterString extends solver.constraints.Propagator<solver.variables.Variable>
Constructor and Description |
---|
PropFilterString(solver.variables.SetVar set,
solver.variables.IntVar setCard,
int offset,
solver.variables.IntVar[] string,
solver.variables.IntVar[] result) |
Modifier and Type | Method and Description |
---|---|
boolean |
advise(int idxVarInProp,
int mask) |
static solver.variables.Variable[] |
buildArray(solver.variables.SetVar set,
solver.variables.IntVar setCard,
solver.variables.IntVar[] string,
solver.variables.IntVar[] result) |
int |
getPropagationConditions(int vIdx) |
util.ESat |
isEntailed() |
void |
propagate(int evtmask) |
void |
propagate(int idxVarInProp,
int mask) |
String |
toString() |
addVariable, arity, clearMask, compareTo, contradiction, decNbPendingEvt, defineIn, dynPriority, explain, flushPendingEvt, forcePropagate, getConstraint, getId, getMask, getNbPendingEvt, getNbVars, getPriority, getSolver, getVar, getVars, getVIndices, hashCode, incNbPendingEvt, isActive, isCompletelyInstantiated, isPassive, isReifiedAndSilent, isStateLess, setActive, setPassive, setReifiedSilent, setReifiedTrue, setVIndices, updateMask
public PropFilterString(solver.variables.SetVar set, solver.variables.IntVar setCard, int offset, solver.variables.IntVar[] string, solver.variables.IntVar[] result)
public static solver.variables.Variable[] buildArray(solver.variables.SetVar set, solver.variables.IntVar setCard, solver.variables.IntVar[] string, solver.variables.IntVar[] result)
public boolean advise(int idxVarInProp, int mask)
advise
in class solver.constraints.Propagator<solver.variables.Variable>
public int getPropagationConditions(int vIdx)
getPropagationConditions
in class solver.constraints.Propagator<solver.variables.Variable>
public void propagate(int evtmask) throws solver.exception.ContradictionException
propagate
in class solver.constraints.Propagator<solver.variables.Variable>
solver.exception.ContradictionException
public void propagate(int idxVarInProp, int mask) throws solver.exception.ContradictionException
propagate
in class solver.constraints.Propagator<solver.variables.Variable>
solver.exception.ContradictionException
public util.ESat isEntailed()
isEntailed
in class solver.constraints.Propagator<solver.variables.Variable>
Copyright © 2013. All Rights Reserved.