Java ESat.TRUE属性代码示例

@Override
public ESat isEntailed() {
    ISet ker = g.getMandatoryNodes();
    ISet succ;
    for (int i : ker) {
        succ = g.getMandSuccOf(i);
        for (int j : succ) {
            if (g.getMandSuccOf(j).contains(i)) {
                return ESat.FALSE;
            }
        }
    }
    if (g.isInstantiated()) {
        return ESat.TRUE;
    }
    return ESat.UNDEFINED;
}
 

@Override
public ESat isEntailed() {
	try {
		if (!sorted()) {
			return ESat.FALSE;
		}
	} catch (ContradictionException e) {
		return ESat.FALSE;
	}
	for (BoolVar aT : t) {
		if (!aT.isInstantiated()) {
			return ESat.UNDEFINED;
		}
	}
	return ESat.TRUE;
}
 

@Override
public ESat isEntailed() {
	for (int i = 0; i < n; i++) {
		if(succs[i].isInstantiated()){
			if (!g.getPotNeighOf(i).contains(succs[i].getValue())) {
				return ESat.FALSE;
			}
		}
		ISet tmp = g.getMandNeighOf(i);
		for (int j : tmp) {
			if ((!succs[i].contains(j)) && (!succs[j].contains(i))) {
				return ESat.FALSE;
			}
		}
	}
	if (isCompletelyInstantiated()) {
		return ESat.TRUE;
	}
	return ESat.UNDEFINED;
}
 

@Override
public ESat isEntailed() {
    ISet ker = g.getMandatoryNodes();
    ISet succ;
    for (int i : ker) {
        succ = g.getMandSuccOf(i);
        for (int j : succ) {
            if (!g.getPotSuccOf(j).contains(i)) {
                return ESat.FALSE;
            }
        }
    }
    if (g.isInstantiated()) {
        return ESat.TRUE;
    }
    return ESat.UNDEFINED;
}
 

@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;
}
 

@Override
 public ESat isEntailed() {
     for (int i = 0; i < n; i++) {
if(succs[i].isInstantiated()){
             if (!g.getPotSuccOrNeighOf(i).contains(succs[i].getValue())) {
                 return ESat.FALSE;
             }
         }
         ISet tmp = g.getMandSuccOrNeighOf(i);
         for (int j : tmp) {
             if (!succs[i].contains(j)) {
		if(g.isDirected() || !succs[j].contains(i)) {
			return ESat.FALSE;
		}
             }
         }
     }
     if (isCompletelyInstantiated()) {
         return ESat.TRUE;
     }
     return ESat.UNDEFINED;
 }
 

@Override
public ESat isEntailed() {
    int min = 0;
    int max = 0;
    ISet env = g.getPotentialNodes();
    for (int i : env) {
        if (g.getMandSuccOrNeighOf(i).contains(i)) {
            min++;
            max++;
        } else if (g.getPotSuccOrNeighOf(i).contains(i)) {
            max++;
        }
    }
    if (k.getLB() > max || k.getUB() < min) {
        return ESat.FALSE;
    }
    if (min == max) {
        return ESat.TRUE;
    }
    return ESat.UNDEFINED;
}
 

public boolean solve() {
  if (solver != null) {
    System.out.println("Running choco solver ...");
    logger.log(Level.INFO, "Running Choco Solver ...");
    solver.findSolution();
    logger.log(Level.INFO, "end running Choco Solver ");

    if (solver.isFeasible() == ESat.TRUE) {
      solution = new ArrayList<String>();

      for (int i = 0; i < vars.length; i++) {
        int var = vars[i].getValue();

        Value input = inputs.get(i).value;
        if (input instanceof janala.interpreters.StringValue) {
          solution.add(StringConstants.instance.get(var));
        } else {
          solution.add(Integer.toString(var));
        }
      }
      return true;
    } else {
      logger.log(Level.INFO, "-- Infeasible");
      return false;
    }
  }
  return false;
}
 

@Override
public ESat isEntailed() {
	ISet nodes = g.getMandatoryNodes();
	for (int i : nodes) {
		if (g.getMandNeighOf(i).size() > 2 || g.getPotNeighOf(i).size() < 2) {
			return ESat.FALSE;
		}
	}
	if (g.isInstantiated()) {
		return ESat.TRUE;
	}
	return ESat.UNDEFINED;
}
 

@Override
public ESat isEntailed() {
	int upperGraphGirth = getUpperGraphGirth();
	int lowerGraphGirth = getLowerGraphGirth();
	if (upperGraphGirth < girth.getLB()) {
		return ESat.FALSE;
	}
	if (lowerGraphGirth > girth.getUB()) {
		return ESat.FALSE;
	}
	if (graph.isInstantiated() && girth.isInstantiatedTo(lowerGraphGirth)) {
		return ESat.TRUE;
	}
	return ESat.UNDEFINED;
}
 

@Override
public ESat isEntailed() {
    int env = g.getPotentialNodes().size();
    int ker = g.getMandatoryNodes().size();
    if (env < k.getLB() || ker > k.getUB()) {
        return ESat.FALSE;
    }
    if (env == ker) {
        return ESat.TRUE;
    }
    return ESat.UNDEFINED;
}
 

@Override
public ESat isEntailed() {
	if (k.getUB() < minCC() || k.getLB()>maxCC()) {
		return ESat.FALSE;
	}
	if (isCompletelyInstantiated()) {
		return ESat.TRUE;
	}
	return ESat.UNDEFINED;
}
 

@Override
  public ESat isEntailed() {
if (g.getPotentialNodes().size() == g.getMandatoryNodes().size()){
	return ESat.UNDEFINED;
}
      if (!env_CC_finder.isBiconnected()) {
          return ESat.FALSE;
      }
      if (g.isInstantiated()) {
          return ESat.TRUE;
      }
      return ESat.UNDEFINED;
  }
 

@Override
public ESat isEntailed() {
	System.out.println("[WARNING] "+this.getClass().getSimpleName()+".isEntail() is not implemented yet " +
			"and returns true by default. Please do not reify this constraint ");
	return ESat.TRUE;
}
 

@Override
public ESat isEntailed() {
	return ESat.TRUE;
}