Package owl.translations.fgx2dpa
Class Monitor<F extends UnaryModalOperator>
- java.lang.Object
-
- owl.translations.fgx2dpa.Monitor<F>
-
@Immutable public abstract class Monitor<F extends UnaryModalOperator> extends Object
-
-
Constructor Summary
Constructors Constructor Description Monitor()
-
Method Summary
All Methods Static Methods Instance Methods Concrete Methods Modifier and Type Method Description static <F extends UnaryModalOperator>
Monitor<F>of(F formula)
static <F extends UnaryModalOperator>
Monitor<F>of(F formula, Set<Formula> currentTokens)
Monitor<F>
temporalStep(BitSet valuation)
-
-
-
Method Detail
-
of
public static <F extends UnaryModalOperator> Monitor<F> of(F formula, Set<Formula> currentTokens)
-
of
public static <F extends UnaryModalOperator> Monitor<F> of(F formula)
-
-