Package owl.ltl.robust
Class RobustLtlParser
- 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(InputStream input)
static LabelledSplit
parse(String input)
-
-
-
Method Detail
-
parse
public static LabelledSplit parse(String input)
-
parse
public static LabelledSplit parse(InputStream input) throws IOException
- Throws:
IOException
-
-