public class PropCircuit_AntiArboFiltering extends PropCircuit_ArboFiltering
conf, connectedGraph, domFinder, n, offSet, rd
constraint, model, priority, reactToFineEvt, vars
Constructor and Description |
---|
PropCircuit_AntiArboFiltering(IntVar[] succs,
int offSet,
CircuitConf conf) |
Modifier and Type | Method and Description |
---|---|
protected void |
filterFromDom(int duplicatedNode) |
isEntailed, propagate
addVariable, arity, compareTo, doFinePropagation, doFlush, doSchedule, doScheduleEvent, dynPriority, equals, fails, forcePropagate, forcePropagationOnBacktrack, getConstraint, getId, getModel, getNbVars, getPosition, getPriority, getPropagationConditions, getVar, getVars, getVIndice, getVIndices, hashCode, isActive, isCompletelyInstantiated, isPassive, isReifiedAndSilent, isStateLess, linkVariables, propagate, reactToFineEvent, setActive, setPassive, setPosition, setReifiedSilent, setReifiedTrue, setVIndices, toString, unlinkVariables, unschedule, why
public PropCircuit_AntiArboFiltering(IntVar[] succs, int offSet, CircuitConf conf)
protected void filterFromDom(int duplicatedNode) throws ContradictionException
filterFromDom
in class PropCircuit_ArboFiltering
ContradictionException
Copyright © 2018. All rights reserved.