public final class Splitter
extends java.lang.Object
Modifier and Type | Method | Description |
---|---|---|
static LabelledTree<owl.jni.Splitter.Tag,IntAutomaton> |
split(Formula formula,
boolean onTheFly,
int safetySplitting) |
|
static LabelledTree<owl.jni.Splitter.Tag,IntAutomaton> |
split(Formula formula,
boolean onTheFly,
owl.jni.Splitter.SafetySplitting safetySplitting) |
public static LabelledTree<owl.jni.Splitter.Tag,IntAutomaton> split(Formula formula, boolean onTheFly, owl.jni.Splitter.SafetySplitting safetySplitting)
public static LabelledTree<owl.jni.Splitter.Tag,IntAutomaton> split(Formula formula, boolean onTheFly, int safetySplitting)