Uses of Interface
net.maswag.falcaun.STLVisitor

Packages that use STLVisitor

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

Uses of STLVisitor in net.maswag.falcaun

Classes in net.maswag.falcaun that implement STLVisitor

Modifier and Type	Class	Description
class	STLBaseVisitor<T>	This class provides an empty implementation of STLVisitor, which can be extended to create a visitor which only needs to handle a subset of the available methods.
class	STLVisitorImpl	STLVisitorImpl class.

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

Modifier and Type	Method	Description
private static TemporalLogic.STLCost	STLFactory.parseImpl(String formula, STLVisitor<TemporalLogic.STLCost> visitor)