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

Packages that use TemporalLogic.STLCost

Package	Description
net.maswag.falcaun	FalCAuN - Falsification tool for Cyber-Physical Systems via Automata Learning.
net.maswag.falcaun.parser	FalCAuN parser package: STL/LTL formula parsing, signal mapping, and temporal logic utilities.

Uses of TemporalLogic.STLCost in net.maswag.falcaun

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)

Uses of TemporalLogic.STLCost in net.maswag.falcaun.parser

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

Modifier and Type	Class	Description
class	STLAbstractAtomic	STLAtomic class.
class	STLInputAtomic	This class represents an atomic formula in STL for input signals.
class	STLOutputAtomic	STLAtomic class.
(package private) static class	TemporalAnd.STLAnd
(package private) static class	TemporalConst.STLConst
(package private) static class	TemporalEventually.STLEventually
static class	TemporalGlobally.STLGlobally
static class	TemporalImply.STLImply
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

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

Modifier and Type	Method	Description
TemporalLogic.STLCost	TemporalUntil.STLUntil.getLeft()
TemporalLogic.STLCost	TemporalUntil.STLUntil.getRight()
TemporalLogic.STLCost	TemporalEventually.STLEventually.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
TemporalLogic.STLCost	STLFactory.parse(String stlFormula, List<Map<Character,Double>> inputMapper, OutputMapper outputMapper)	parse an STL formula using an output mapper object
private static TemporalLogic.STLCost	STLFactory.parseImpl(String formula, STLVisitor<TemporalLogic.STLCost> visitor)
TemporalLogic.STLCost	STLInputAtomic.toDisjunctiveForm()
TemporalLogic.STLCost	STLOutputAtomic.toDisjunctiveForm()
TemporalLogic.STLCost	STLInputAtomic.toNnf(boolean negate)
TemporalLogic.STLCost	STLOutputAtomic.toNnf(boolean negate)
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().

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

Modifier and Type	Method	Description
static List<TemporalLogic.LTLFormula>	LTLFormulaHelper.convertToLTLFormulas(List<TemporalLogic.STLCost> stlFormulas)	Converts a list of STL formulas to prepared LTL formulas.
private static TemporalLogic.STLCost	STLFactory.parseImpl(String formula, STLVisitor<TemporalLogic.STLCost> visitor)

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

Modifier	Constructor	Description
(package private)	STLAnd(TemporalLogic.STLCost subFml1, TemporalLogic.STLCost subFml2)
(package private)	STLEventually(TemporalLogic.STLCost subFml)
	STLGlobally(TemporalLogic.STLCost subFml)
	STLImply(TemporalLogic.STLCost subFml1, TemporalLogic.STLCost subFml2)
	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)