Package net.maswag.falcaun.parser

Class AbstractTemporalLogic<I>

java.lang.Object

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

Type Parameters:

I - The type of the input at each step.

All Implemented Interfaces:

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

Direct Known Subclasses:

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

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

Abstract base class for temporal logic formulas. This class provides a framework for implementing temporal logic formulas, which can be used to specify properties of system behavior over time.

Author:

Masaki Waga <masakiwaga@gmail.com>

Nested Class Summary

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
(package private) boolean	initialized	Indicates whether the formula has been initialized.
(package private) TemporalLogic.IOType	iOType	The type of input/output (I/O) that the formula is concerned with, either TemporalLogic.IOType.INPUT or TemporalLogic.IOType.OUTPUT.
protected boolean	nonTemporal	Indicates whether the formula is non-temporal.
protected Set<String>	satisfyingAtomicPropositions	A set of atomic propositions such that the formula is satisfied if and only if one of these propositions is satisfied.

Constructor Summary

Constructors

Modifier	Constructor	Description
protected	AbstractTemporalLogic()	Default constructor for AbstractTemporalLogic.

Method Summary

Modifier and Type	Method	Description
boolean	equals(Object o)
Set<String>	getSatisfyingAtomicPropositions()	Returns the set of atomic propositions such that the formula is satisfied if and only if one of these propositions is satisfied.
int	hashCode()
protected String	makeAbstractStringWithAtomicStrings()	Constructs an abstract string representation of the formula using the strings of atomic propositions.
protected String	makeAbstractStringWithAtomicStrings(Optional<Map<String,String>> mapper)

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.parser.TemporalLogic

apply, constructSatisfyingAtomicPropositions, getAllAPs, getAllConjunctions, getIOType, getRoSI, isInitialized, isNonTemporal, toAbstractLTLString, toAbstractString, toDisjunctiveForm, toLTLString, toNnf, toOwlString

Field Details

nonTemporal

protected boolean nonTemporal

Indicates whether the formula is non-temporal.

initialized

boolean initialized

Indicates whether the formula has been initialized.

satisfyingAtomicPropositions

protected Set<String> satisfyingAtomicPropositions

A set of atomic propositions such that the formula is satisfied if and only if one of these propositions is satisfied. This field is null for temporal formulas.

iOType

TemporalLogic.IOType iOType

The type of input/output (I/O) that the formula is concerned with, either TemporalLogic.IOType.INPUT or TemporalLogic.IOType.OUTPUT.

Constructor Details

AbstractTemporalLogic

protected AbstractTemporalLogic()

Default constructor for AbstractTemporalLogic. Initializes a new instance with default values. Subclasses should call this constructor and then set appropriate values for their specific implementation.

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()

Constructs an abstract string representation of the formula using the strings of atomic propositions. This method is meaningful only for non-temporal formulas that contain constraints on either inputs or outputs.

Returns:

The abstract string representation of the formula.

Throws:

IllegalStateException - If the formula is not initialized when this method is called.

makeAbstractStringWithAtomicStrings

protected String makeAbstractStringWithAtomicStrings(Optional<Map<String,String>> mapper)

getSatisfyingAtomicPropositions

public Set<String> getSatisfyingAtomicPropositions()

Returns the set of atomic propositions such that the formula is satisfied if and only if one of these propositions is satisfied. For temporal formulas, this method returns null because no such set exists.

Specified by:

getSatisfyingAtomicPropositions in interface TemporalLogic<I>

Returns:

The set of satisfying atomic propositions, or null if the formula is temporal.