Examples with PreparedExistentialHomomorphism fr.lirmm.graphik.graal.api.homomorphism.PreparedExistentialHomomorphism used on opensource projects

Example 1 with PreparedExistentialHomomorphism

use of fr.lirmm.graphik.graal.api.homomorphism.PreparedExistentialHomomorphism in project graal by graphik-team.

the class BacktrackIterator method existNegParts.

private boolean existNegParts() throws BacktrackException {
    Substitution s = currentSubstitution(this.vars);
    s.put(initialSubstitution);
    for (PreparedExistentialHomomorphism negPart : this.currentVar().shared.negatedPartsToCheck) {
        try {
            if (negPart.exist(s)) {
                this.data.bj.success();
                return true;
            }
        } catch (HomomorphismException e) {
            throw new BacktrackException("Error while checking anegated part: ", e);
        }
    }
    return false;
}