package com.plectix.simulator.staticanalysis.observables;
public class MaxStateFinder implements ObservablesStatesHandler {
private double maximum = Double.NEGATIVE_INFINITY;
@Override
public void visit(double item) {
maximum = Math.max(maximum, item);
}
@Override
public double getResult() {
return maximum;
}
}