Package net.maswag.falcaun

Class STLFactory

java.lang.Object

net.maswag.falcaun.STLFactory

public class STLFactory
extends Object

Constructor Summary

Constructors

Constructor	Description
STLFactory()

Method Summary

Modifier and Type	Method	Description
TemporalLogic.STLCost	parse(String formula)	parse an STL formula without setting the mapper
TemporalLogic.STLCost	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	parseImpl(String formula, STLVisitor<TemporalLogic.STLCost> visitor)

Methods inherited from class java.lang.Object

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

Constructor Details

STLFactory

public STLFactory()

Method Details

parse

public TemporalLogic.STLCost parse(String stlFormula,
 List<Map<Character,Double>> inputMapper,
 List<Map<Character,Double>> outputMapper,
 List<Character> largest)

parse an STL formula using mappers

Parameters:

stlFormula - a String object.

outputMapper - a List object.

largest - a List object.

Returns:

a TemporalLogic.STLCost object.

parse

public TemporalLogic.STLCost parse(String formula)

parse an STL formula without setting the mapper

Parameters:

formula - a String object.

Returns:

a TemporalLogic.STLCost object.

parseImpl

private static TemporalLogic.STLCost parseImpl(String formula,
 STLVisitor<TemporalLogic.STLCost> visitor)