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

Example 1 with EvaluationException

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

the class CSPModel method checkSyntax.

@Override
public boolean checkSyntax(final String formula) {
    try {
        CSP element = (CSP) parseFormula(formula, FormulaExpand.TRUNCATE);
        element.printProlog(new PrologTermStringOutput());
        return true;
    } catch (EvaluationException e) {
        return false;
    }
}