Aufgrund von Umarbeiten des s3 Storage wird es in GitLab, in nächster Zeit, mögliche Performance-Einbußen geben. Näheres dazu unter: https://maintenance.itc.rwth-aachen.de/ticket/status/messages/43/show_ticket/6670

Commit 21891709 authored by Hengwen Zhang's avatar Hengwen Zhang

Add common enums

parent 64065fc1
package de.rwth.montisim.commons.utils;
public enum Comparator {
LESS, LESS_EQUAL, GREATER, GREATER_EQUAL, EQUAL
}
package de.rwth.montisim.commons.utils;
public enum LTLOperator {
ALWAYS, NEVER, EVENTUALLY, UNTIL
}
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment