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

Example 6 with EventB

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

the class UnsatMinimalCoreCommand method processResult.

@Override
public void processResult(ISimplifiedROMap<String, PrologTerm> bindings) {
    CompoundPrologTerm compoundTerm = BindingGenerator.getCompoundTerm(bindings.get(RESULT_VARIABLE), 0);
    String code = compoundTerm.getFunctor();
    if (pred instanceof EventB) {
        core = new EventB(code, FormulaExpand.EXPAND);
    } else {
        core = new ClassicalB(code, FormulaExpand.EXPAND);
    }
}

Example 7 with EventB

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

the class PrimePredicateCommand method processResult.

@Override
public void processResult(final ISimplifiedROMap<String, PrologTerm> bindings) {
    CompoundPrologTerm compoundTerm = BindingGenerator.getCompoundTerm(bindings.get(PRIMED_PREDICATE_VARIABLE), 0);
    String code = compoundTerm.getFunctor();
    if (evalElement instanceof EventB) {
        result = new EventB(code, FormulaExpand.EXPAND);
    } else {
        result = new ClassicalB(code, FormulaExpand.EXPAND);
    }
}

Example 8 with EventB

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

the class UnsatRegularCoreCommand method processResult.

@Override
public void processResult(ISimplifiedROMap<String, PrologTerm> bindings) {
    CompoundPrologTerm compoundTerm = BindingGenerator.getCompoundTerm(bindings.get(RESULT_VARIABLE), 0);
    String code = compoundTerm.getFunctor();
    if (pred instanceof EventB) {
        core = new EventB(code, FormulaExpand.EXPAND);
    } else {
        core = new ClassicalB(code, FormulaExpand.EXPAND);
    }
}

Example 9 with EventB

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

the class WeakestPreconditionCommand method processResult.

@Override
public void processResult(final ISimplifiedROMap<String, PrologTerm> bindings) {
    CompoundPrologTerm compoundTerm = BindingGenerator.getCompoundTerm(bindings.get(WEAKEST_PRECONDITION_VARIABLE), 0);
    String code = compoundTerm.getFunctor();
    if (predicate instanceof EventB) {
        result = new EventB(code, FormulaExpand.EXPAND);
    } else {
        result = new ClassicalB(code, FormulaExpand.EXPAND);
    }
}

Example 10 with EventB

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

the class ContextXmlHandler method addSet.

private void addSet(final Attributes attributes) {
    String name = attributes.getValue("name");
    de.prob.model.representation.Set bSet = new de.prob.model.representation.Set(new EventB(name, FormulaExpand.EXPAND));
    if (inInternalContext) {
        internalSets.add(bSet);
    } else {
        sets.add(bSet);
    }
}