rwth.i2.ltl2ba4j.internal.jnibridge
Class BAJni

java.lang.Object
  extended by 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.
 
Method Summary
 Collection<ITransition> getTransitions()
          Returns the resulting automaton as a list of transitions.
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

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
Method Detail

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.