code: @Override
  	public ESat isEntailed() {
  		boolean done = true;
  		for (int i = 0; i < n; i++) {
  			if ((!degrees[i].contains(0)) && !g.getPotentialNodes().contains(i)) {
  				return ESat.FALSE;
  			}
  			ISet env = target.getPotSet(g, i);
  			ISet ker = target.getMandSet(g, i);
  			if (degrees[i].getLB() > env.size()
  					|| degrees[i].getUB() < ker.size()) {
  				return ESat.FALSE;
  			}
  			if (env.size() != ker.size() || !degrees[i].isInstantiated()) {
  				done = false;
  			}
  		}
  		if (!done) {
  			return ESat.UNDEFINED;
  		}
  		return ESat.TRUE;
  	}
docs: ***********************************************************************************