public class OwlOntologyTiming extends Object
Modifier and Type | Class and Description |
---|---|
(package private) static class |
OwlOntologyTiming.predEnum |
(package private) static class |
OwlOntologyTiming.TableRow |
(package private) static class |
OwlOntologyTiming.typeEnum |
Modifier and Type | Field and Description |
---|---|
(package private) static TransientAgent |
agent |
(package private) static CasaKB |
KB |
(package private) static int |
n |
private OwlOntologyTiming.predEnum |
preds |
(package private) static String |
quote |
(package private) static String |
separator |
private static Vector<OwlOntologyTiming.TableRow> |
table |
private OwlOntologyTiming.typeEnum |
types |
Constructor and Description |
---|
OwlOntologyTiming() |
Modifier and Type | Method and Description |
---|---|
static void |
main(String[] args) |
protected static void |
record(String exp,
String code) |
static TransientAgent agent
static CasaKB KB
private OwlOntologyTiming.predEnum preds
private OwlOntologyTiming.typeEnum types
static final String separator
static final String quote
static final int n
private static Vector<OwlOntologyTiming.TableRow> table