Uses of Interface
net.maswag.falcaun.TemporalLogic

Packages that use TemporalLogic

Package	Description
net.maswag.falcaun	The package for FalCAuN.

Uses of TemporalLogic in net.maswag.falcaun

Subinterfaces of TemporalLogic in net.maswag.falcaun

Modifier and Type	Interface	Description
static interface	TemporalLogic.LTLFormula
static interface	TemporalLogic.STLCost

Classes in net.maswag.falcaun that implement TemporalLogic

Modifier and Type	Class	Description
class	AbstractTemporalLogic<I>	Abstract TemporalLogic class.
class	LTLAtomic	The atomic propositions in LTL formulas
class	STLAbstractAtomic	STLAtomic class.
class	STLInputAtomic	STLAtomic class.
class	STLOutputAtomic	STLAtomic class.
(package private) class	TemporalAnd<I>	The class representing the AND operator of temporal logic.
(package private) static class	TemporalAnd.LTLAnd
(package private) static class	TemporalAnd.STLAnd
class	TemporalEventually<I>	STLEventually class.
(package private) static class	TemporalEventually.LTLEventually
(package private) static class	TemporalEventually.STLEventually
class	TemporalGlobally<I>	STLGlobal class.
(package private) static class	TemporalGlobally.LTLGlobally
(package private) static class	TemporalGlobally.STLGlobally
class	TemporalImply<I>	STLImply class.
(package private) static class	TemporalImply.LTLImply
(package private) static class	TemporalImply.STLImply
class	TemporalNext<I>	STLNext class.
(package private) static class	TemporalNext.LTLNext
(package private) static class	TemporalNext.STLNext
class	TemporalNot<I>	STLTemporalNot class.
(package private) static class	TemporalNot.LTLNot
(package private) static class	TemporalNot.STLNot
(package private) class	TemporalOp<I>
class	TemporalOr<I>	The class representing the OR operator of temporal logic.
(package private) static class	TemporalOr.LTLOr
(package private) static class	TemporalOr.STLOr
class	TemporalRelease<I>	STLRelease class.
(package private) static class	TemporalRelease.LTLRelease
(package private) static class	TemporalRelease.STLRelease
class	TemporalSub<I>
(package private) static class	TemporalSub.LTLSub
(package private) static class	TemporalSub.STLSub
class	TemporalUntil<I>	STLUntil class.
(package private) static class	TemporalUntil.LTLUntil
(package private) static class	TemporalUntil.STLUntil

Fields in net.maswag.falcaun declared as TemporalLogic

Modifier and Type	Field	Description
private final TemporalLogic<I>	TemporalRelease.left
private final TemporalLogic<I>	TemporalUntil.left
private final TemporalLogic<I>	TemporalRelease.right
private final TemporalLogic<I>	TemporalUntil.right
private TemporalLogic<I>	TemporalNext.subFml
private final TemporalLogic<I>	TemporalNot.subFml
(package private) TemporalLogic<I>	TemporalOp.subFml
private final TemporalLogic<I>	TemporalImply.subFml1
private final TemporalLogic<I>	TemporalImply.subFml2

Fields in net.maswag.falcaun with type parameters of type TemporalLogic

Modifier and Type	Field	Description
private final List<List<TemporalLogic<I>>>	AdaptiveSTLList.candidateSTLProperties
private List<TemporalLogic<I>>	BlackBoxVerifier.cexProperty
private final List<TemporalLogic<I>>	AdaptiveSTLList.falsifiedSTLProperties
Function<TemporalLogic<I>,TemporalLogic<I>>	AdaptiveSTLList.IntervalTL.frame
Function<TemporalLogic<I>,TemporalLogic<I>>	AdaptiveSTLList.IntervalTL.frame
private final List<TemporalLogic<I>>	AdaptiveSTLList.initialSTLs
private final List<TemporalLogic<I>>	AbstractAdaptiveSTLUpdater.reportedFormulas
private final List<TemporalLogic<I>>	AbstractAdaptiveSTLUpdater.STLProperties
private final List<List<TemporalLogic<I>>>	AdaptiveSTLList.strengthenedSTLProperties
private final List<TemporalLogic<I>>	TemporalOr.subFmls
private final List<TemporalLogic<I>>	TemporalAnd.subFormulas
private final List<TemporalLogic<I>>	AdaptiveSTLList.targetSTLs

Methods in net.maswag.falcaun with type parameters of type TemporalLogic

Modifier and Type	Method	Description
private static <T extends TemporalLogic<List<Double>>> void	FalCAuN.printResult(int i, List<T> cexProperties, List<Signal> cexConcreteInput, List<net.automatalib.word.Word<String>> cexAbstractInput, List<net.automatalib.word.Word<String>> cexOutput)

Methods in net.maswag.falcaun that return TemporalLogic

Modifier and Type	Method	Description
TemporalLogic<I>	AdaptiveSTLList.IntervalTL.getOriginalSTL()
TemporalLogic<I>	TemporalEventually.getSubFml()	getSubFml.
TemporalLogic<I>	TemporalGlobally.getSubFml()	getSubFml.
TemporalLogic<I>	AdaptiveSTLList.IntervalTL.nextStrengthenedSTL()	strengthen an STL formula by changing an interval
private TemporalLogic<I>	AdaptiveSTLList.nextStrengthenedSTL(int targetIdx)
TemporalLogic<I>	AdaptiveSTLList.IntervalTL.strengthInit()

Methods in net.maswag.falcaun that return types with arguments of type TemporalLogic

Modifier and Type	Method	Description
private List<TemporalLogic<I>>	AdaptiveSTLList.generateStrengthenedSTL(TemporalLogic<I> targetStl)	generate syntactically strengthened STL formulas
List<TemporalLogic<List<Double>>>	NumericSULVerifier.getCexProperty()	Returns the falsified STL formulas in the string representation.
List<TemporalLogic<I>>	AdaptiveSTLUpdater.getSTLProperties()	Returns the current list of STL formulas The result may change only after the call of findCounterExample
private List<TemporalLogic<I>>	AdaptiveSTLList.strengthenSTL(TemporalLogic<I> stl)	syntactically strengthen an STL/LTL formula

Methods in net.maswag.falcaun with parameters of type TemporalLogic

Modifier and Type	Method	Description
protected void	AbstractAdaptiveSTLUpdater.addSTLProperty(TemporalLogic<I> stl)
private List<AdaptiveSTLList.IntervalTL<I>>	AdaptiveSTLList.findIntervalSTL(TemporalLogic<I> stl, Function<TemporalLogic<I>,TemporalLogic<I>> frame)	find intervals that can be strengthened
private List<TemporalLogic<I>>	AdaptiveSTLList.generateStrengthenedSTL(TemporalLogic<I> targetStl)	generate syntactically strengthened STL formulas
private List<AdaptiveSTLList.IntervalTL<I>>	AdaptiveSTLList.initializeIntervalSTLproperties(TemporalLogic<I> targetSTL)	list up intervals of temporal operators in target STL formulas that can be strengthened
final boolean	AbstractAdaptiveSTLUpdater.newlyFalsifiedFormula(TemporalLogic<I> stlFormula)
boolean	AdaptiveSTLUpdater.newlyFalsifiedFormula(TemporalLogic<I> stlFormula)	Returns if the formula is not yet falsified
private List<TemporalLogic<I>>	AdaptiveSTLList.strengthenSTL(TemporalLogic<I> stl)	syntactically strengthen an STL/LTL formula

Method parameters in net.maswag.falcaun with type arguments of type TemporalLogic

Modifier and Type	Method	Description
protected void	AbstractAdaptiveSTLUpdater.addSTLProperties(Collection<? extends TemporalLogic<I>> stlCollection)
private List<AdaptiveSTLList.IntervalTL<I>>	AdaptiveSTLList.findIntervalSTL(TemporalLogic<I> stl, Function<TemporalLogic<I>,TemporalLogic<I>> frame)	find intervals that can be strengthened
private List<AdaptiveSTLList.IntervalTL<I>>	AdaptiveSTLList.findIntervalSTL(TemporalLogic<I> stl, Function<TemporalLogic<I>,TemporalLogic<I>> frame)	find intervals that can be strengthened

Constructors in net.maswag.falcaun with parameters of type TemporalLogic

Modifier	Constructor	Description
	AdaptiveSTLList(TemporalLogic<I> propertyOracle)
(package private)	LTLOr(TemporalLogic<String> subFml1, TemporalLogic<String> subFml2)
(package private)	LTLUntil(TemporalLogic<String> left, TemporalLogic<String> right)
	StaticSTLList(TemporalLogic<I> propertyOracle)
(package private)	TemporalAnd(TemporalLogic<I> subFml1, TemporalLogic<I> subFml2)
(package private)	TemporalEventually(TemporalLogic<I> subFml)
(package private)	TemporalGlobally(TemporalLogic<I> subFml)
(package private)	TemporalImply(TemporalLogic<I> subFml1, TemporalLogic<I> subFml2)
(package private)	TemporalNext(TemporalLogic<I> subFml, boolean nullPositive)
(package private)	TemporalNot(TemporalLogic<I> subFml)
(package private)	TemporalOp(TemporalLogic<I> subFml)
(package private)	TemporalOr(TemporalLogic<I> subFml1, TemporalLogic<I> subFml2)
(package private)	TemporalRelease(TemporalLogic<I> left, TemporalLogic<I> right)
(package private)	TemporalUntil(TemporalLogic<I> left, TemporalLogic<I> right)

Constructor parameters in net.maswag.falcaun with type arguments of type TemporalLogic

Modifier	Constructor	Description
	AdaptiveSTLList(Collection<? extends TemporalLogic<I>> STLProperties)
	AdaptiveSTLList(Collection<? extends TemporalLogic<I>> STLProperties, int timeWindow)
	IntervalTL(TemporalSub<I> stl, Function<TemporalLogic<I>,TemporalLogic<I>> frame, int timeWindow)
	IntervalTL(TemporalSub<I> stl, Function<TemporalLogic<I>,TemporalLogic<I>> frame, int timeWindow)
(package private)	LTLAnd(List<TemporalLogic<String>> subFormulas)
	StaticSTLList(Collection<? extends TemporalLogic<I>> STLProperties)
(package private)	STLAnd(List<TemporalLogic<List<Double>>> subFormulas)
(package private)	TemporalAnd(List<TemporalLogic<I>> subFormulas)
(package private)	TemporalOr(List<TemporalLogic<I>> subFmls)