Package net.maswag.falcaun.parser

Interface TemporalLogic.STLCost

All Superinterfaces:

Function<IOSignal<List<Double>>,Double>, TemporalLogic<List<Double>>

All Known Implementing Classes:

STLAbstractAtomic, STLInputAtomic, STLOutputAtomic, TemporalAnd.STLAnd, TemporalConst.STLConst, TemporalEventually.STLEventually, TemporalGlobally.STLGlobally, TemporalImply.STLImply, TemporalNext.STLNext, TemporalNot.STLNot, TemporalOr.STLOr, TemporalRelease.STLRelease, TemporalSub.STLSub, TemporalUntil.STLUntil

Enclosing interface:

TemporalLogic<I>

public static interface TemporalLogic.STLCost
extends TemporalLogic<List<Double>>

Nested Class Summary

Nested classes/interfaces inherited from interface net.maswag.falcaun.parser.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.parser.TemporalLogic

apply, constructSatisfyingAtomicPropositions, getAllAPs, getAllConjunctions, getIOType, getRoSI, getSatisfyingAtomicPropositions, isInitialized, isNonTemporal, toAbstractLTLString, toAbstractString, toDisjunctiveForm, toLTLString, toNnf, toOwlString