Package utils

Class FormulaToRE

java.lang.Object

utils.FormulaToRE

public class FormulaToRE
extends Object

Field Summary

Fields

Modifier and Type	Field	Description
int	alphabetSize
int	encoded_alphabet
Map<String,String>	labelIDs
int[]	state

Constructor Summary

Constructors

Constructor	Description
FormulaToRE()

Method Summary

Modifier and Type	Method	Description
<S> String	automataToRegularExpression(owl.automaton.Automaton<S,? extends owl.automaton.acceptance.OmegaAcceptance> automaton)
<S> String	formulaToRegularExpression(owl.ltl.LabelledFormula formula)
void	generateLabels(List<String> variables)
void	setLabel(String l)
void	setLabelEncoded(String l)

Methods inherited from class java.lang.Object

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

Field Detail

labelIDs

public Map<String,String> labelIDs

encoded_alphabet

public int encoded_alphabet

state

public int[] state

alphabetSize

public int alphabetSize

Constructor Detail

FormulaToRE

public FormulaToRE()

Method Detail

generateLabels

public void generateLabels(List<String> variables)

formulaToRegularExpression

public <S> String formulaToRegularExpression(owl.ltl.LabelledFormula formula)

automataToRegularExpression

public <S> String automataToRegularExpression(owl.automaton.Automaton<S,? extends owl.automaton.acceptance.OmegaAcceptance> automaton)

setLabel

public void setLabel(String l)
              throws RuntimeException

Throws:

RuntimeException

setLabelEncoded

public void setLabelEncoded(String l)
                     throws RuntimeException

Throws:

RuntimeException