Package utils

Class Formula2Automaton<S>

java.lang.Object

utils.Formula2Automaton<S>

public class Formula2Automaton<S>
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
Formula2Automaton()

Method Summary

Modifier and Type	Method	Description
boolean	accConditionIsSatisfied(jhoafparser.ast.BooleanExpression<jhoafparser.ast.AtomAcceptance> acceptanceCondition, it.unimi.dsi.fastutil.ints.IntArrayList acceptanceSets)
automata.Automaton	formulaToDfa(owl.ltl.LabelledFormula formula)
void	generateLabels(List<String> variables)
automata.Automaton	nbaToDfa(owl.automaton.Automaton<S,? extends owl.automaton.acceptance.OmegaAcceptance> automaton)
automata.Automaton	PAtoDfa(owl.automaton.Automaton<S,owl.automaton.acceptance.ParityAcceptance> automaton)
void	setLabel(String l)
void	setLabelEncoded(String l)
automata.Automaton	telaToDfa(owl.automaton.Automaton<S,owl.automaton.acceptance.EmersonLeiAcceptance> automaton)

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

Formula2Automaton

public Formula2Automaton()

Method Detail

generateLabels

public void generateLabels(List<String> variables)

formulaToDfa

public automata.Automaton formulaToDfa(owl.ltl.LabelledFormula formula)

nbaToDfa

public automata.Automaton nbaToDfa(owl.automaton.Automaton<S,? extends owl.automaton.acceptance.OmegaAcceptance> automaton)

telaToDfa

public automata.Automaton telaToDfa(owl.automaton.Automaton<S,owl.automaton.acceptance.EmersonLeiAcceptance> automaton)

PAtoDfa

public automata.Automaton PAtoDfa(owl.automaton.Automaton<S,owl.automaton.acceptance.ParityAcceptance> automaton)

accConditionIsSatisfied

public boolean accConditionIsSatisfied(jhoafparser.ast.BooleanExpression<jhoafparser.ast.AtomAcceptance> acceptanceCondition,
                                       it.unimi.dsi.fastutil.ints.IntArrayList acceptanceSets)

setLabel

public void setLabel(String l)
              throws RuntimeException

Throws:

RuntimeException

setLabelEncoded

public void setLabelEncoded(String l)
                     throws RuntimeException

Throws:

RuntimeException