Examples with Operator de.prob.model.eventb.theory.Operator used on opensource projects

Example 1 with Operator

use of de.prob.model.eventb.theory.Operator in project prob2 by bendisposto.

the class TheoryTranslator method printOperatorDefs.

private void printOperatorDefs(final ModelElementList<Operator> operators, final IPrologTermOutput pto) {
    pto.openList();
    for (Operator operator : operators) {
        printOperator(operator, pto);
    }
    pto.closeList();
}

Example 2 with Operator

use of de.prob.model.eventb.theory.Operator in project prob2 by bendisposto.

the class TheoryTranslator method printAxiomaticDefinitonBlock.

private void printAxiomaticDefinitonBlock(final AxiomaticDefinitionBlock block, final IPrologTermOutput pto) {
    pto.openTerm("axiomatic_def_block");
    pto.printAtom(block.getName());
    printTypeParameters(block.getTypeParameters(), pto);
    pto.openList();
    for (Operator operator : block.getOperators()) {
        printAxiomaticOperator(operator, pto);
    }
    pto.closeList();
    pto.openList();
    for (EventBAxiom axiom : block.getAxioms()) {
        printEventBElement((EventB) axiom.getPredicate(), pto);
    }
    pto.closeList();
    pto.closeTerm();
}