[I2 logo] [RWTH logo] MOVES: Software Modeling and Verification
(Informatik 2)
Computer Science / RWTH / I2 / Research / RV / Ltl2ba4j / Docs / Api / Rwth / I2 / Ltl2ba4j / Internal / Jnibridge / BAJni
Printer-friendly
BAJni (LTL2BA4J)

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.
Valid HTML 4.01 Strict! Valid CSS!