func = new DuplicatedMathValidationFunction<Trigger>(); break;
@Override public boolean check(ValidationContext ctx, FunctionTerm ft) { // only testing if it is not a defaultTerm if (!ft.isDefaultTerm()) { return super.check(ctx, ft); } return true; } };
func = new DuplicatedMathValidationFunction<EventAssignment>(); break;
func = new DuplicatedMathValidationFunction<FunctionDefinition>(); break;
func = new DuplicatedMathValidationFunction<Priority>(); break;
func = new DuplicatedMathValidationFunction<Delay>(); break;
func = new DuplicatedMathValidationFunction<InitialAssignment>(); break;
func = new DuplicatedMathValidationFunction<KineticLaw>(); break;