Examples with InvariantSatisfiabilityCheckingResult de.bmoth.checkers.invariantsatisfiability.InvariantSatisfiabilityCheckingResult used on opensource projects

Example 1 with InvariantSatisfiabilityCheckingResult

use of de.bmoth.checkers.invariantsatisfiability.InvariantSatisfiabilityCheckingResult in project bmoth by hhu-stups.

the class AppView method handleInvariantSatisfiability.

@FXML
public void handleInvariantSatisfiability() {
    if (codeArea.getText().replaceAll("\\s+", "").length() > 0) {
        parseMachineNode();
        InvariantSatisfiabilityCheckingResult result = InvariantSatisfiabilityChecker.doInvariantSatisfiabilityCheck(machineNode);
        showResultAlert(result.getResult());
    }
}