Examples with Set de.prob.model.representation.Set used on opensource projects

Example 1 with Set

use of de.prob.model.representation.Set in project prob2 by bendisposto.

the class ContextTranslator method processSets.

private ASetsContextClause processSets() {
    List<PSet> sets = new ArrayList<>();
    for (Set bSet : context.getSets()) {
        List<TIdentifierLiteral> names = new ArrayList<>();
        names.add(new TIdentifierLiteral(bSet.getName()));
        sets.add(new ADeferredSetSet(names));
    }
    return new ASetsContextClause(sets);
}