Examples with PredicateHierarchy com.dat3m.dartagnan.solver.caat.predicates.PredicateHierarchy used on opensource projects

Example 1 with PredicateHierarchy

use of com.dat3m.dartagnan.solver.caat.predicates.PredicateHierarchy in project Dat3M by hernanponcedeleon.

the class CAATModel method from.

public static CAATModel from(Collection<? extends CAATPredicate> predicates, Collection<? extends Constraint> constraints) {
    Set<Constraint> consts = new HashSet<>(constraints);
    Set<CAATPredicate> preds = new HashSet<>(predicates);
    consts.forEach(c -> preds.add(c.getConstrainedPredicate()));
    PredicateHierarchy hierarchy = new PredicateHierarchy(preds);
    return new CAATModel(hierarchy, consts);
}