Package net.maswag.falcaun.parser

Class TemporalConst<I>

java.lang.Object

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

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

All Implemented Interfaces:

Function<IOSignal<I>,Double>, TemporalLogic<I>

Direct Known Subclasses:

TemporalConst.LTLConst, TemporalConst.STLConst

public class TemporalConst<I>
extends AbstractTemporalLogic<I>

Nested Class Summary

Nested Classes

Modifier and Type	Class	Description
(package private) static class	TemporalConst.LTLConst
(package private) static class	TemporalConst.STLConst

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 boolean	condition

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

initialized, iOType, nonTemporal, satisfyingAtomicPropositions

Constructor Summary

Constructors

Constructor	Description
TemporalConst(boolean b)

Method Summary

Modifier and Type	Method	Description
TemporalLogic<I>	derivativeOn(String c)
Set<String>	getAllAPs()	Returns the collection of atomic propositions under consideration.
List<TemporalLogic<I>>	getAllConjunctions()
RoSI	getRoSI(IOSignal<I> signal)	getRoSI.
String	toAbstractLTLString(Map<String,String> mapper)
String	toAbstractString()	Returns a string representation of the formula in the format of LTSMin.
TemporalLogic<I>	toDisjunctiveForm()
TemporalLogic<I>	toNnf(boolean negate)
String	toOwlString()
String	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, getIOType, isInitialized, isNonTemporal, toLTLString

Field Details

condition

private final boolean condition

Constructor Details

TemporalConst

TemporalConst(boolean b)

Method Details

toAbstractString

public String toAbstractString()

Description copied from interface: TemporalLogic

Returns a string representation of the formula in the format of LTSMin.

Returns:

a String object representing the formula in the format of LTSMin.

toString

public String toString()

Overrides:

toString in class Object

toAbstractLTLString

public String toAbstractLTLString(Map<String,String> mapper)

toOwlString

public String toOwlString()

getRoSI

public RoSI getRoSI(IOSignal<I> signal)

getRoSI.

Parameters:

signal - The input-output signal to evaluate the formula on

Returns:

a RoSI object.

getAllAPs

public Set<String> getAllAPs()

Description copied from interface: TemporalLogic

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.

Returns:

A set of all atomic propositions in the formula

derivativeOn

public TemporalLogic<I> derivativeOn(String c)

toNnf

public TemporalLogic<I> toNnf(boolean negate)

toDisjunctiveForm

public TemporalLogic<I> toDisjunctiveForm()

getAllConjunctions

public List<TemporalLogic<I>> getAllConjunctions()