Examples with EventB de.prob.animator.domainobjects.EventB used on opensource projects

Example 11 with EventB

use of de.prob.animator.domainobjects.EventB in project prob2 by bendisposto.

the class TheoryExtractor method addInfer.

private void addInfer(final Attributes attributes) {
    String predicate = attributes.getValue("org.eventb.core.predicate");
    infer = new EventB(predicate, typeEnv, FormulaExpand.EXPAND);
}

Example 12 with EventB

use of de.prob.animator.domainobjects.EventB in project prob2 by bendisposto.

the class TheoryTranslator method printConstructor.

private void printConstructor(String name, List<Tuple2<String, String>> destructors, final IPrologTermOutput pto) {
    pto.openTerm("constructor");
    pto.printAtom(name);
    pto.openList();
    for (Tuple2<String, String> arg : destructors) {
        printTypedIdentifier("destructor", arg.getFirst(), new EventB(arg.getSecond(), typeEnv, FormulaExpand.EXPAND), pto);
    }
    pto.closeList();
    pto.closeTerm();
}