public interface IndexedDisjointnessAxiomVisitor<O>
| Modifier and Type | Method and Description |
|---|---|
O |
visit(IndexedDisjointnessAxiom axiom) |
O visit(IndexedDisjointnessAxiom axiom)
Copyright © 2011-2015 Department of Computer Science, University of Oxford. All Rights Reserved.