Package net.maswag.falcaun.parser

Class LTLFactory

java.lang.Object

net.maswag.falcaun.parser.LTLFactory

public class LTLFactory
extends Object

This class provides a method to parse an LTL (Linear Temporal Logic) formula. The format is compatible with LTSmin. Its parser is generated using ANTLR.

See Also:

• TemporalLogic

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 LTL formula as a string to parse

Returns:

a TemporalLogic.LTLFormula object.