Package net.maswag.falcaun.parser

Class TemporalImply.STLImply

java.lang.Object

net.maswag.falcaun.parser.AbstractTemporalLogic<I>

net.maswag.falcaun.parser.TemporalImply<List<Double>>

net.maswag.falcaun.parser.TemporalImply.STLImply

All Implemented Interfaces:

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

Enclosing class:

TemporalImply<I>

public static class TemporalImply.STLImply
extends TemporalImply<List<Double>>
implements TemporalLogic.STLCost

Nested Class Summary

Nested classes/interfaces inherited from class net.maswag.falcaun.parser.TemporalImply

TemporalImply.LTLImply, TemporalImply.STLImply

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

TemporalLogic.IOType, TemporalLogic.LTLFormula, TemporalLogic.STLCost

Field Summary

Fields inherited from class net.maswag.falcaun.parser.TemporalImply

subFml1, subFml2

Fields inherited from class net.maswag.falcaun.parser.AbstractTemporalLogic

initialized, iOType, nonTemporal, satisfyingAtomicPropositions

Constructor Summary

Constructors

Constructor	Description
STLImply(TemporalLogic.STLCost subFml1, TemporalLogic.STLCost subFml2)

Method Summary

Methods inherited from class net.maswag.falcaun.parser.TemporalImply

constructSatisfyingAtomicPropositions, getAllAPs, getAllConjunctions, getRoSI, toAbstractLTLString, toAbstractString, toDisjunctiveForm, toNnf, toOwlString, toString

Methods inherited from class net.maswag.falcaun.parser.AbstractTemporalLogic

equals, getSatisfyingAtomicPropositions, hashCode, makeAbstractStringWithAtomicStrings, makeAbstractStringWithAtomicStrings

Methods inherited from class java.lang.Object

clone, finalize, getClass, notify, notifyAll, wait, wait, wait

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

Constructor Details

STLImply

public STLImply(TemporalLogic.STLCost subFml1,
 TemporalLogic.STLCost subFml2)