Uses of Enum Class
net.maswag.falcaun.parser.STLAbstractAtomic.Operation
Packages that use STLAbstractAtomic.Operation
Package
Description
FalCAuN parser package: STL/LTL formula parsing, signal mapping, and temporal logic utilities.
-
Uses of STLAbstractAtomic.Operation in net.maswag.falcaun.parser
Fields in net.maswag.falcaun.parser declared as STLAbstractAtomic.OperationMethods in net.maswag.falcaun.parser that return STLAbstractAtomic.OperationModifier and TypeMethodDescriptionstatic STLAbstractAtomic.OperationReturns the enum constant of this class with the specified name.static STLAbstractAtomic.Operation[]STLAbstractAtomic.Operation.values()Returns an array containing the constants of this enum class, in the order they are declared.Constructors in net.maswag.falcaun.parser with parameters of type STLAbstractAtomic.OperationModifierConstructorDescriptionSTLAbstractAtomic(int sigIndex, STLAbstractAtomic.Operation op, double comparator) Constructor for STLAbstractAtomic.STLInputAtomic(int sigIndex, STLAbstractAtomic.Operation op, double comparator) Constructor for STLInputAtomic.STLOutputAtomic(int sigIndex, STLAbstractAtomic.Operation op, double comparator) Constructor for STLOutputAtomic.