DLClauseEvaluator.Worker (HermiT 1.4.4.519 API)

Skip navigation links

All Classes

Summary:
Nested |
Field |
Constr |
Method

Detail:
Field |
Constr |
Method

All Known Implementing Classes:

ConjunctiveQuery.QueryAnswerCallback

Enclosing class:

DLClauseEvaluator
```
public static interface DLClauseEvaluator.Worker
```
Worker.

- Method Summary
  
  All Methods Instance Methods Abstract Methods
  Modifier and Type Method and Description
  
  int execute(int programCounter)

- Method Detail
  - execute
```
int execute(int programCounter)
```
    Parameters:
    
    programCounter - programCounter
    
    Returns:
    
    counter

Skip navigation links

All Classes

Summary:
Nested |
Field |
Constr |
Method

Detail:
Field |
Constr |
Method

Copyright © 2020. All rights reserved.