Package net.maswag.falcaun

Class LTLFormulaBase

java.lang.Object

net.maswag.falcaun.LTLFormulaBase

public class LTLFormulaBase
extends Object

Base class for LTL formula implementations that provides common functionality for atomic propositions management using composition instead of inheritance. This class is used by LTL inner classes that need to extend their parent temporal classes.

Author:

Masaki Waga <masakiwaga@gmail.com>

Field Summary

Fields

Modifier and Type	Field	Description
private LTLAPs	aps

Constructor Summary

Constructors

Constructor	Description
LTLFormulaBase()

Method Summary

Modifier and Type	Method	Description
void	setAPsWithPropagation(LTLAPs aps, Runnable propagator)	Sets the atomic propositions and propagates them to subformulas.

Methods inherited from class java.lang.Object

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

Field Details

aps

private LTLAPs aps

Constructor Details

LTLFormulaBase

public LTLFormulaBase()

Method Details

setAPsWithPropagation

public void setAPsWithPropagation(LTLAPs aps,
 Runnable propagator)

Sets the atomic propositions and propagates them to subformulas.

Parameters:

aps - The atomic propositions to set

propagator - A runnable that propagates the APs to subformulas