6667686970717273
public TemporalMetricState(Set a, Set f, GroundCondition g, Map funcs, Metric m) { super(a,f,g, funcs, m); openActions = new HashSet(); invariants = new ArrayList(); checker = new VelosoSchedulabilityChecker(); }