@Override
	public void propagate(int evtmask) throws ContradictionException {
		int nbK = 0;
		int nbE = 0;
		ISet env = g.getPotentialNodes();
		for (int i : env) {
			nbE += g.getPotSuccOrNeighOf(i).size();
			nbK += g.getMandSuccOrNeighOf(i).size();
		}
		if (!g.isDirected()) {
			nbK /= 2;
			nbE /= 2;
		}
		filter(nbK, nbE);
	}
@ Override public void propagate ( int evtmask ) throws ContradictionException { int nbK = 0 ; int nbE = 0 ; ISet env = g . getPotentialNodes ( ) ; for ( int i : env ) { nbE += g . getPotSuccOrNeighOf ( i ) . size ( ) ; nbK += g . getMandSuccOrNeighOf ( i ) . size ( ) ; } if ( ! g . isDirected ( ) ) { nbK /= 2 ; nbE /= 2 ; } filter ( nbK , nbE ) ; }
***********************************************************************************