main.io.github.moonlightsuite.moonlight.util.BothFormulaGenerator 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

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;

import java.util.Random;

public class BothFormulaGenerator extends FormulaGenerator {
    public BothFormulaGenerator(String... ids) {
        super(ids);
    }

    BothFormulaGenerator(Random random, double maxTime, String... ids) {
        super(random, maxTime, ids);
    }

    @Override
    public FormulaType[] getFormulaType() {
        return FormulaTypeSelector.getBothFormulas();
    }
}