main.io.github.moonlightsuite.moonlight.util.PastFormulaGenerator Maven / Gradle / Ivy
Go to download
Show more of this group Show more artifacts with this name
Show all versions of moonlight-engine Show documentation
Show all versions of moonlight-engine Show documentation
MoonLight is a light-weight Java-tool for monitoring temporal, spatial and spatio-temporal properties of distributed complex systems, such as Cyber-Physical Systems and Collective Adaptive Systems.
The newest version!
package io.github.moonlightsuite.moonlight.util;
import io.github.moonlightsuite.moonlight.io.FormulaType;
import io.github.moonlightsuite.moonlight.io.FormulaTypeSelector;
public class PastFormulaGenerator extends FormulaGenerator {
@Override
public FormulaType[] getFormulaType() {
return FormulaTypeSelector.getPastFormulas();
}
}