Package net.maswag.falcaun.parser

Class TemporalNot.LTLNot

java.lang.Object

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

net.maswag.falcaun.parser.TemporalNot<String>

net.maswag.falcaun.parser.TemporalNot.LTLNot

All Implemented Interfaces:

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

Enclosing class:

TemporalNot<I>

static class TemporalNot.LTLNot
extends TemporalNot<String>
implements TemporalLogic.LTLFormula

Nested Class Summary

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

TemporalNot.LTLNot, TemporalNot.STLNot

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

TemporalLogic.IOType, TemporalLogic.LTLFormula, TemporalLogic.STLCost

Field Summary

Fields

Modifier and Type	Field	Description
private final LTLFormulaBase	formulaBase

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

subFml

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

initialized, iOType, nonTemporal, satisfyingAtomicPropositions

Constructor Summary

Constructors

Constructor	Description
LTLNot(TemporalLogic.LTLFormula subFml)

Method Summary

Modifier and Type	Method	Description
void	collectAtomicPropositions(LTLAPs aps)	Collects all atomic propositions from this formula and its subformulas.
Set<String>	getAllAPs()	Returns the collection of atomic propositions under consideration.
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 class net.maswag.falcaun.parser.TemporalNot

constructSatisfyingAtomicPropositions, 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, getAllConjunctions, getIOType, getRoSI, getSatisfyingAtomicPropositions, isInitialized, isNonTemporal, toAbstractLTLString, toAbstractString, toDisjunctiveForm, toLTLString, toNnf, toOwlString

Field Details

formulaBase

private final LTLFormulaBase formulaBase

Constructor Details

LTLNot

LTLNot(TemporalLogic.LTLFormula subFml)

Method Details

setAPs

public void setAPs(LTLAPs aps)

Description copied from interface: TemporalLogic.LTLFormula

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

Specified by:

setAPs in interface TemporalLogic.LTLFormula

Parameters:

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

getAPs

public LTLAPs getAPs()

Description copied from interface: TemporalLogic.LTLFormula

Gets the atomic propositions for this formula.

Specified by:

getAPs in interface TemporalLogic.LTLFormula

Returns:

The atomic propositions, or null if not set

collectAtomicPropositions

public void collectAtomicPropositions(LTLAPs aps)

Description copied from interface: TemporalLogic.LTLFormula

Collects all atomic propositions from this formula and its subformulas.

Specified by:

collectAtomicPropositions in interface TemporalLogic.LTLFormula

Parameters:

aps - The atomic propositions to populate

getAllAPs

public Set<String> getAllAPs()

Description copied from class: TemporalNot

Returns the collection of atomic propositions under consideration. If this formula contains only the input constraints, the atomic propositions are the input constraints. If this formula contains only the output constraints, the atomic propositions are the output constraints. If this formula contains both input and output constraints, the atomic propositions are one of the input and output constraints.

Specified by:

getAllAPs in interface TemporalLogic<String>

Overrides:

getAllAPs in class TemporalNot<String>

Returns:

A set of all atomic propositions in the formula