Package net.maswag.falcaun

Interface TemporalLogic.LTLFormula

All Superinterfaces:

Function<IOSignal<String>,Double>, TemporalLogic<String>

All Known Implementing Classes:

LTLAtomic, TemporalAnd.LTLAnd, TemporalEventually.LTLEventually, TemporalGlobally.LTLGlobally, TemporalImply.LTLImply, TemporalNext.LTLNext, TemporalNot.LTLNot, TemporalOr.LTLOr, TemporalRelease.LTLRelease, TemporalSub.LTLSub, TemporalUntil.LTLUntil

Enclosing interface:

TemporalLogic<I>

public static interface TemporalLogic.LTLFormula
extends TemporalLogic<String>

Nested Class Summary

Nested classes/interfaces inherited from interface net.maswag.falcaun.TemporalLogic

TemporalLogic.IOType, TemporalLogic.LTLFormula, TemporalLogic.STLCost

Method Summary

Methods inherited from interface java.util.function.Function

andThen, compose

Methods inherited from interface net.maswag.falcaun.TemporalLogic

apply, constructSatisfyingAtomicPropositions, getAllAPs, getIOType, getRoSI, getSatisfyingAtomicPropositions, isInitialized, isNonTemporal, toAbstractString, toLTLString