Package net.maswag.falcaun

Class LTLFactory

java.lang.Object

net.maswag.falcaun.LTLFactory

public class LTLFactory
extends Object

Constructor Summary

Constructors

Constructor	Description
LTLFactory()

Method Summary

Modifier and Type	Method	Description
TemporalLogic.LTLFormula	parse(String formula)	parse an LTL formula

Methods inherited from class java.lang.Object

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

Constructor Details

LTLFactory

public LTLFactory()

Method Details

parse

public TemporalLogic.LTLFormula parse(String formula)

parse an LTL formula

Parameters:

formula - a String object.

Returns:

a TemporalLogic.STLCost object.