rwth.i2.ltl2ba4j.internal.jnibridge
Class BAJni
java.lang.Object
rwth.i2.ltl2ba4j.internal.jnibridge.BAJni
public class BAJni
- extends Object
- Author:
- Eric Bodden
BAJni
Constructor Summary |
BAJni(IFormula formula)
Constructs a new automaton for the given formula. |
BAJni(String formula)
Constructs a new automaton for the given formula. |
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
BAJni
public BAJni(IFormula formula)
- Constructs a new automaton for the given formula.
- Parameters:
formula
- a formula
- Throws:
IllegalArgumentException
- if formula has invalid syntax
BAJni
public BAJni(String formula)
- Constructs a new automaton for the given formula.
- Parameters:
formula
- a formula
- Throws:
IllegalArgumentException
- if formula has invalid syntax
getTransitions
public Collection<ITransition> getTransitions()
- Returns the resulting automaton as a list of transitions.
- Returns:
- resulting automaton as a list of transitions
Eric Bodden, RWTH Aachen University, 2005.