Uses of Interface
net.maswag.falcaun.TemporalLogic.STLCost

Packages that use TemporalLogic.STLCost

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

Uses of TemporalLogic.STLCost in net.maswag.falcaun

Classes in net.maswag.falcaun that implement TemporalLogic.STLCost

Modifier and Type	Class	Description
class	STLAbstractAtomic	STLAtomic class.
class	STLInputAtomic	STLAtomic class.
class	STLOutputAtomic	STLAtomic class.
(package private) static class	TemporalAnd.STLAnd
(package private) static class	TemporalEventually.STLEventually
(package private) static class	TemporalGlobally.STLGlobally
(package private) static class	TemporalImply.STLImply
(package private) static class	TemporalNext.STLNext
(package private) static class	TemporalNot.STLNot
(package private) static class	TemporalOr.STLOr
(package private) static class	TemporalRelease.STLRelease
(package private) static class	TemporalSub.STLSub
(package private) static class	TemporalUntil.STLUntil

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

Modifier and Type	Field	Description
private List<TemporalLogic.STLCost>	SimulinkRandomTester.cexProperty
private final List<TemporalLogic.STLCost>	SimulinkRandomTester.costFunc

Methods in net.maswag.falcaun that return TemporalLogic.STLCost

Modifier and Type	Method	Description
TemporalLogic.STLCost	TemporalUntil.STLUntil.getLeft()
TemporalLogic.STLCost	TemporalUntil.STLUntil.getRight()
TemporalLogic.STLCost	TemporalEventually.STLEventually.getSubFml()
TemporalLogic.STLCost	TemporalGlobally.STLGlobally.getSubFml()
private TemporalLogic.STLCost	STLVisitorImpl.handleInterval(TemporalOp<List<Double>> subFml, STLParser.IntervalContext ctx)
TemporalLogic.STLCost	STLFactory.parse(String formula)	parse an STL formula without setting the mapper
TemporalLogic.STLCost	STLFactory.parse(String stlFormula, List<Map<Character,Double>> inputMapper, List<Map<Character,Double>> outputMapper, List<Character> largest)	parse an STL formula using mappers
private static TemporalLogic.STLCost	STLFactory.parseImpl(String formula, STLVisitor<TemporalLogic.STLCost> visitor)
TemporalLogic.STLCost	STLVisitorImpl.visitAtomic(STLParser.AtomicContext ctx)	Visit a parse tree produced by STLParser.atomic().
TemporalLogic.STLCost	STLVisitorImpl.visitExpr(STLParser.ExprContext ctx)	Visit a parse tree produced by STLParser.expr().

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

Modifier and Type	Method	Description
void	NumericSULVerifier.addHillClimbingEQOracle(TemporalLogic.STLCost costFunc, int length, Random random, int maxTests, int generationSize, int childrenSize, boolean resetWord)

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

Modifier and Type	Method	Description
private static TemporalLogic.STLCost	STLFactory.parseImpl(String formula, STLVisitor<TemporalLogic.STLCost> visitor)
private static void	FalCAuN.printEquivSetting(ArgParser argParser, List<TemporalLogic.STLCost> stl)

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

Modifier	Constructor	Description
(package private)	STLAnd(TemporalLogic.STLCost subFml1, TemporalLogic.STLCost subFml2)
(package private)	STLEventually(TemporalLogic.STLCost subFml)
(package private)	STLGlobally(TemporalLogic.STLCost subFml)
(package private)	STLImply(TemporalLogic.STLCost subFml1, TemporalLogic.STLCost subFml2)
(package private)	STLNext(TemporalLogic.STLCost subFml, boolean nullPositive)
(package private)	STLNot(TemporalLogic.STLCost subFml)
(package private)	STLOr(TemporalLogic.STLCost subFml1, TemporalLogic.STLCost subFml2)
(package private)	STLRelease(TemporalLogic.STLCost left, TemporalLogic.STLCost right)
(package private)	STLUntil(TemporalLogic.STLCost left, TemporalLogic.STLCost right)