RobustLtlParser (owl 21.0 API)

java.lang.Object
- owl.ltl.robust.RobustLtlParser

public final class RobustLtlParser
extends Object

- Method Summary
  
  All Methods Static Methods Concrete Methods
  Modifier and Type Method Description
  
  static LabelledSplit parse(String input)
  - Methods inherited from class java.lang.Object
    clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Method Detail

parse

public static LabelledSplit parse(String input)