public class UnabbreviateVisitor extends DefaultConverter
Modifier and Type | Field | Description |
---|---|---|
static OwlModuleParser.TransformerParser |
CLI |
Constructor | Description |
---|---|
UnabbreviateVisitor(java.lang.Class<? extends Formula>... classes) |
|
UnabbreviateVisitor(java.util.List<java.lang.Class<? extends Formula>> classes) |
Modifier and Type | Method | Description |
---|---|---|
Formula |
visit(MOperator mOperator) |
|
Formula |
visit(ROperator rOperator) |
|
Formula |
visit(WOperator wOperator) |
public static final OwlModuleParser.TransformerParser CLI
@SafeVarargs public UnabbreviateVisitor(java.lang.Class<? extends Formula>... classes)
public UnabbreviateVisitor(java.util.List<java.lang.Class<? extends Formula>> classes)