Package net.maswag.falcaun

Class AbstractTemporalLogic<I>

java.lang.Object

net.maswag.falcaun.AbstractTemporalLogic<I>

Type Parameters:

I - Type of the input at each step

All Implemented Interfaces:

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

Direct Known Subclasses:

LTLAtomic, STLAbstractAtomic, TemporalAnd, TemporalImply, TemporalNext, TemporalNot, TemporalOp, TemporalOr, TemporalRelease, TemporalSub, TemporalUntil

public abstract class AbstractTemporalLogic<I>
extends Object
implements TemporalLogic<I>

Abstract TemporalLogic class.

Author:

Masaki Waga <masakiwaga@gmail.com>

Nested Class Summary

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

TemporalLogic.IOType, TemporalLogic.LTLFormula, TemporalLogic.STLCost

Field Summary

Fields

Modifier and Type	Field	Description
(package private) boolean	initialized
(package private) TemporalLogic.IOType	iOType
(package private) boolean	nonTemporal
(package private) Set<String>	satisfyingAtomicPropositions

Constructor Summary

Constructors

Constructor	Description
AbstractTemporalLogic()

Method Summary

Modifier and Type	Method	Description
boolean	equals(Object o)
int	hashCode()
protected String	makeAbstractStringWithAtomicStrings()	Construct the abstract string using the strings on the atomic propositions.

Methods inherited from class java.lang.Object

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

Methods inherited from interface java.util.function.Function

andThen, compose

Methods inherited from interface net.maswag.falcaun.TemporalLogic

apply, constructSatisfyingAtomicPropositions, getAllAPs, getIOType, getRoSI, getSatisfyingAtomicPropositions, isInitialized, isNonTemporal, toAbstractString, toLTLString

Field Details

nonTemporal

boolean nonTemporal

initialized

boolean initialized

satisfyingAtomicPropositions

Set<String> satisfyingAtomicPropositions

iOType

TemporalLogic.IOType iOType

Constructor Details

AbstractTemporalLogic

public AbstractTemporalLogic()

Method Details

equals

public boolean equals(Object o)

Overrides:

equals in class Object

hashCode

public int hashCode()

Overrides:

hashCode in class Object

makeAbstractStringWithAtomicStrings

protected String makeAbstractStringWithAtomicStrings()

Construct the abstract string using the strings on the atomic propositions. This method makes sense only if the formula is non-temporal and contains the constraints only on inputs or outputs.