edu.wis.jtlv.env.core.smv.eval
Interface ILTLOperator

All Known Implementing Classes:
OpLTLFuture, OpLTLGlobal, OpLTLHistorical, OpLTLNext, OpLTLNot, OpLTLNotPrecNot, OpLTLOnce, OpLTLPrec, OpLTLRelease, OpLTLSince, OpLTLTriggered, OpLTLUntil

public interface ILTLOperator