Package net.maswag.falcaun.parser

Interface TemporalLogic.LTLFormula

All Superinterfaces:

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

All Known Implementing Classes:

LTLAtomic, TemporalAnd.LTLAnd, TemporalConst.LTLConst, 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.parser.TemporalLogic

TemporalLogic.IOType, TemporalLogic.LTLFormula, TemporalLogic.STLCost

Method Summary

Modifier and Type	Method	Description
void	collectAtomicPropositions(LTLAPs aps)	Collects all atomic propositions from this formula and its subformulas.
LTLAPs	getAPs()	Gets the atomic propositions for this formula.
void	setAPs(LTLAPs aps)	Sets the universe of atomic propositions for this formula.

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

Method Details

setAPs

void setAPs(LTLAPs aps)

Sets the universe of atomic propositions for this formula. This is necessary for correctly computing negation.

Parameters:

aps - The atomic propositions containing all possible input and output APs

getAPs

LTLAPs getAPs()

Gets the atomic propositions for this formula.

Returns:

The atomic propositions, or null if not set

collectAtomicPropositions

void collectAtomicPropositions(LTLAPs aps)

Collects all atomic propositions from this formula and its subformulas.

Parameters:

aps - The atomic propositions to populate