Package modelcounter

Class Rltlconv_LTLModelCounter

java.lang.Object

modelcounter.Rltlconv_LTLModelCounter

public class Rltlconv_LTLModelCounter
extends Object

Field Summary

Fields

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

Constructor Summary

Constructors

Constructor	Description
Rltlconv_LTLModelCounter()

Method Summary

Modifier and Type	Method	Description
String	automata2RE(de.uni_luebeck.isp.rltlconv.automata.Nba ltl_ba)
void	generateLabels(de.uni_luebeck.isp.rltlconv.automata.Nba nba)
de.uni_luebeck.isp.rltlconv.automata.Nba	ltl2nba(String formula)
String	ltl2RE(String formula)
void	setLabel(String l)
void	setLabelEncoded(String l)
String	toABClanguage(String re)

Methods inherited from class java.lang.Object

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

Field Detail

TIMEOUT

public int TIMEOUT

labelIDs

public Map<String,String> labelIDs

encoded_alphabet

public int encoded_alphabet

state

public int[] state

Constructor Detail

Rltlconv_LTLModelCounter

public Rltlconv_LTLModelCounter()

Method Detail

generateLabels

public void generateLabels(de.uni_luebeck.isp.rltlconv.automata.Nba nba)

ltl2RE

public String ltl2RE(String formula)
              throws IOException,
                     InterruptedException

Throws:

IOException

InterruptedException

ltl2nba

public de.uni_luebeck.isp.rltlconv.automata.Nba ltl2nba(String formula)
                                                 throws IOException,
                                                        InterruptedException

Throws:

IOException

InterruptedException

automata2RE

public String automata2RE(de.uni_luebeck.isp.rltlconv.automata.Nba ltl_ba)

toABClanguage

public String toABClanguage(String re)

setLabel

public void setLabel(String l)
              throws RuntimeException

Throws:

RuntimeException

setLabelEncoded

public void setLabelEncoded(String l)
                     throws RuntimeException

Throws:

RuntimeException